skip to content
Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 Preview this item
ClosePreview this item
Checking...

Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Author: Robert E Butts; Jaakko Hintikka
Publisher: Dordrecht : Springer Netherlands, 1977.
Series: University of Western Ontario series in philosophy of science, 9.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert E Butts; Jaakko Hintikka
ISBN: 9789401011389 9401011389
OCLC Number: 851380447
Description: 1 online resource (416 pages).
Contents: I/Mathematical Logic --
Constructions 'by Finite' --
Some Eastern Two Cardinal Theorems --
Functional Interpretation and Kripke Models --
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic --
II/Foundations of Mathematical Theories --
Ineffability Properties of Cardinals II --
Non-Standard Analysis --
Some Purely Mathematical Results Inspired by Mathematical Logic --
Interpretability of Elementary Theories --
III/Category Theory --
Categorical Foundations and Foundations of Category Theory --
IV/Computability Theory --
Re Sets Higher Up (Dedicated to J.B. Rosser) --
Computable Numberings --
On the Basic Notions in the Theory of Induction --
Basic Concepts of Computer Science and Logic --
Structural Relations between Programs and Problems --
Algorithmic Logic, a Tool for Investigations of Programs --
V/Philosophy of Logic and Mathematics --
On a Semantical Language Hierarchy in a Constructive Mathematical Logic --
VI/On The Concept of a Set --
Large Sets --
What is the Iterative Conception of Set? --
VII/Philosophy of Logic --
Do-it-yourself Semantics for Classical Sequent Calculi, including Ramified Type Theory --
Some Philosophical Problems of Hintikka's Possible Worlds Semantics --
Index of Names.
Series Title: University of Western Ontario series in philosophy of science, 9.
Other Titles: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, August 27-September 2, 1975
Responsibility: edited by Robert E. Butts, Jaakko Hintikka.

Reviews

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

Tags

Be the first.

Similar Items

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/851380447> # Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "851380447" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/8062977#Place/dordrecht> ; # Dordrecht
    schema:about <http://experiment.worldcat.org/entity/work/data/8062977#Topic/philosophy_general> ; # Philosophy (General)
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:about <http://dewey.info/class/501/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8062977#Topic/logic> ; # Logic
    schema:about <http://id.worldcat.org/fast/958235> ; # History
    schema:about <http://id.worldcat.org/fast/1108336> ; # Science--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/8062977#Topic/science_philosophy> ; # Science--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/8062977#Topic/history> ; # History
    schema:about <http://id.loc.gov/authorities/classification/B67> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85118582> ; # Science--Philosophy
    schema:alternateName "Part One of the Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, August 27-September 2, 1975" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/108163100> ; # Jaakko Hintikka
    schema:creator <http://viaf.org/viaf/108579432> ; # Robert E. Butts
    schema:datePublished "1977" ;
    schema:description "I/Mathematical Logic -- Constructions 'by Finite' -- Some Eastern Two Cardinal Theorems -- Functional Interpretation and Kripke Models -- Axioms for Intuitionistic Mathematics Incompatible with Classical Logic -- II/Foundations of Mathematical Theories -- Ineffability Properties of Cardinals II -- Non-Standard Analysis -- Some Purely Mathematical Results Inspired by Mathematical Logic -- Interpretability of Elementary Theories -- III/Category Theory -- Categorical Foundations and Foundations of Category Theory -- IV/Computability Theory -- Re Sets Higher Up (Dedicated to J.B. Rosser) -- Computable Numberings -- On the Basic Notions in the Theory of Induction -- Basic Concepts of Computer Science and Logic -- Structural Relations between Programs and Problems -- Algorithmic Logic, a Tool for Investigations of Programs -- V/Philosophy of Logic and Mathematics -- On a Semantical Language Hierarchy in a Constructive Mathematical Logic -- VI/On The Concept of a Set -- Large Sets -- What is the Iterative Conception of Set? -- VII/Philosophy of Logic -- Do-it-yourself Semantics for Classical Sequent Calculi, including Ramified Type Theory -- Some Philosophical Problems of Hintikka's Possible Worlds Semantics -- Index of Names."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/8062977> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/8062977#Series/university_of_western_ontario_series_in_philosophy_of_science> ; # University of Western Ontario series in philosophy of science ;
    schema:isPartOf <http://worldcat.org/issn/1566-659X> ; # The University of Western Ontario Series in Philosophy of Science,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/8062977#CreativeWork/> ;
    schema:name "Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975"@en ;
    schema:productID "851380447" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851380447#PublicationEvent/dordrecht_springer_netherlands_1977> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/8062977#Agent/springer_netherlands> ; # Springer Netherlands
    schema:url <http://dx.doi.org/10.1007/978-94-010-1138-9> ;
    schema:workExample <http://worldcat.org/isbn/9789401011389> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851380447> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/8062977#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
    schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/8062977#Series/university_of_western_ontario_series_in_philosophy_of_science> # University of Western Ontario series in philosophy of science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851380447> ; # Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
    schema:name "University of Western Ontario series in philosophy of science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/8062977#Topic/philosophy_general> # Philosophy (General)
    a schema:Intangible ;
    schema:name "Philosophy (General)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8062977#Topic/science_philosophy> # Science--Philosophy
    a schema:Intangible ;
    schema:name "Science--Philosophy"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85118582> # Science--Philosophy
    a schema:Intangible ;
    schema:name "Science--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1108336> # Science--Philosophy
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85118582> ; # Science--Philosophy
    schema:name "Science--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/958235> # History
    a schema:Intangible ;
    schema:name "History"@en ;
    .

<http://viaf.org/viaf/108163100> # Jaakko Hintikka
    a schema:Person ;
    schema:familyName "Hintikka" ;
    schema:givenName "Jaakko" ;
    schema:name "Jaakko Hintikka" ;
    .

<http://viaf.org/viaf/108579432> # Robert E. Butts
    a schema:Person ;
    schema:familyName "Butts" ;
    schema:givenName "Robert E." ;
    schema:name "Robert E. Butts" ;
    .

<http://worldcat.org/entity/work/data/8062977#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851380447> ; # Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
    .

<http://worldcat.org/isbn/9789401011389>
    a schema:ProductModel ;
    schema:isbn "9401011389" ;
    schema:isbn "9789401011389" ;
    .

<http://worldcat.org/issn/1566-659X> # The University of Western Ontario Series in Philosophy of Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851380447> ; # Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
    schema:issn "1566-659X" ;
    schema:name "The University of Western Ontario Series in Philosophy of Science," ;
    .

<http://www.worldcat.org/title/-/oclc/851380447>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/851380447> ; # Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975
    schema:dateModified "2018-06-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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