skip to content
Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995 Preview this item
ClosePreview this item
Checking...

Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

Author: Andrea Cantini; Ettore Casari; Pierluigi Minari
Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, ©1999.
Series: Synthese library, v. 280.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
"The 10th International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The leading choice criterion for the present volume is to combine papers containing relevant technical results in pure and applied logic with papers devoted to  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrea Cantini; Ettore Casari; Pierluigi Minari
ISBN: 0792356594 9780792356592
OCLC Number: 40838613
Description: viii, 282 pages : illustrations ; 25 cm.
Contents: 1. Operations, Collections and Sets within a General Axiomatic Framework / Marco Forti, Furio Honsell and Marina Lenisa --
2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective / Geoffrey Hellman --
3. Carnap's Remarks on Impredicative Definitions and the Genericity Theorem / Thomas Fruchart and Giuseppe Longo --
4. Godel, Turing, and K-Graph Machines / Wilfried Sieg and John Byrnes --
5. Linear Recurrence Relations are [Delta][subscript 0] Definable / Alessandro Berarducci and Benedetto Intrigila --
6. On Applicative Theories / Gerhard Jager, Reinhard Kahle and Thomas Strahm --
7. The Use of a Logical Principle of Uniform Boundedness in Analysis / Ulrich Kohlenbach.
Series Title: Synthese library, v. 280.
Responsibility: edited by Andrea Cantini, Ettore Casari, Pierluigi Minari.
More information:

Abstract:

Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/40838613> # Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "40838613" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891867345#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://experiment.worldcat.org/entity/work/data/891867345#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/891867345#Topic/modeltheorie> ; # Modeltheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/891867345#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/891867345#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/4260651> ; # Pierluigi Minari
   schema:contributor <http://viaf.org/viaf/4950452> ; # Ettore Casari
   schema:contributor <http://viaf.org/viaf/29603156> ; # Andrea Cantini
   schema:copyrightYear "1999" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/891867345#Meeting/international_congress_of_logic_methodology_and_philosophy_of_science_10th_1995_florence_italy> ; # International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy)
   schema:datePublished "1999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891867345> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891867345#Series/synthese_library> ; # Synthese library ;
   schema:name "Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995"@en ;
   schema:productID "40838613" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40838613#PublicationEvent/dordrecht_boston_kluwer_academic_publishers_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891867345#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:reviews <http://www.worldcat.org/title/-/oclc/40838613#Review/848118306> ;
   schema:url <http://catdir.loc.gov/catdir/toc/fy044/99011864.html> ;
   schema:workExample <http://worldcat.org/isbn/9780792356592> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9973853> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40838613> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/891867345#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/891867345#Meeting/international_congress_of_logic_methodology_and_philosophy_of_science_10th_1995_florence_italy> # International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/891867345#Place/florence_italy> ; # Florence, Italy)
   schema:name "International Congress of Logic, Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891867345#Place/florence_italy> # Florence, Italy)
    a schema:Place ;
   schema:name "Florence, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891867345#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40838613> ; # Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
   schema:name "Synthese library ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/29603156> # Andrea Cantini
    a schema:Person ;
   schema:familyName "Cantini" ;
   schema:givenName "Andrea" ;
   schema:name "Andrea Cantini" ;
    .

<http://viaf.org/viaf/4260651> # Pierluigi Minari
    a schema:Person ;
   schema:familyName "Minari" ;
   schema:givenName "Pierluigi" ;
   schema:name "Pierluigi Minari" ;
    .

<http://viaf.org/viaf/4950452> # Ettore Casari
    a schema:Person ;
   schema:familyName "Casari" ;
   schema:givenName "Ettore" ;
   schema:name "Ettore Casari" ;
    .

<http://worldcat.org/isbn/9780792356592>
    a schema:ProductModel ;
   schema:isbn "0792356594" ;
   schema:isbn "9780792356592" ;
    .

<http://www.worldcat.org/title/-/oclc/40838613>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40838613> ; # Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/40838613#Review/848118306>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/40838613> ; # Logic and foundations of mathematics : selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995
   schema:reviewBody ""The 10th International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The leading choice criterion for the present volume is to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analysis, deeply rooted in advanced present-day research." "The volume is attractive both for the logical specialist and scholars interested in critical reflections on the foundations of Logic, Mathematics and Computer Science."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.