skip to content
Mathematical logic and the foundations of mathematics : an introductory survey Preview this item
ClosePreview this item
Checking...

Mathematical logic and the foundations of mathematics : an introductory survey

Author: G T Kneebone
Publisher: London ; New York : Van Nostrand, ©1963.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Kneebone, G.T.
Mathematical logic and the foundations of mathematics.
London, New York, Van Nostrand [1963]
(OCoLC)609594244
Document Type: Book
All Authors / Contributors: G T Kneebone
OCLC Number: 792731
Notes: "The University Series in Undergraduate Mathematics"--Jacket.
Description: xiv, 435 pages : illustrations ; 24 cm
Contents: Mathematical logic: Traditional logic --
Symbolic logic I: the propositional calculus --
Symbolic logic II: the restricted calculus of predicates --
Further development of symbolic logic --
Foundations of mathematics: The critical movement in mathematics in the nineteenth century --
The logistic identification of mathematics with logic --
Formalized mathematics and metamathematics --
Gödel's theorems on the inherent limitations of formal systems --
Intuitionism --
Recursive arithmetic --
The axiomatic theory of sets --
Philosophy of mathematics: The epistemological status of mathematics --
The application of mathematics to the natural world --
Logic and the activity of thinking --
Developments since 1939 in the study of foundations of mathematics.
Responsibility: G.T. Kneebone.

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/792731> # Mathematical logic and the foundations of mathematics : an introductory survey
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "792731" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://dewey.info/class/510.1/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematik> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
   schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/filosofia_e_fundamentos_da_matematica> ; # Filosofia E Fundamentos Da Matematica
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematische_logik> ; # Mathematische Logik
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1963" ;
   schema:creator <http://viaf.org/viaf/34526286> ; # G. T. Kneebone
   schema:datePublished "1963" ;
   schema:description "Mathematical logic: Traditional logic -- Symbolic logic I: the propositional calculus -- Symbolic logic II: the restricted calculus of predicates -- Further development of symbolic logic -- Foundations of mathematics: The critical movement in mathematics in the nineteenth century -- The logistic identification of mathematics with logic -- Formalized mathematics and metamathematics -- Gödel's theorems on the inherent limitations of formal systems -- Intuitionism -- Recursive arithmetic -- The axiomatic theory of sets -- Philosophy of mathematics: The epistemological status of mathematics -- The application of mathematics to the natural world -- Logic and the activity of thinking -- Developments since 1939 in the study of foundations of mathematics."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1747096> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/609594244> ;
   schema:name "Mathematical logic and the foundations of mathematics : an introductory survey"@en ;
   schema:productID "792731" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/792731#PublicationEvent/london_new_york_van_nostrand_1963> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1747096#Agent/van_nostrand> ; # Van Nostrand
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB6301722> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/792731> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/1747096#Topic/filosofia_e_fundamentos_da_matematica> # Filosofia E Fundamentos Da Matematica
    a schema:Intangible ;
   schema:name "Filosofia E Fundamentos Da Matematica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1747096#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1747096#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematiques_philosophie> # Mathématiques--Philosophie
    a schema:Intangible ;
   schema:name "Mathématiques--Philosophie"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1747096#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

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

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

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://viaf.org/viaf/34526286> # G. T. Kneebone
    a schema:Person ;
   schema:familyName "Kneebone" ;
   schema:givenName "G. T." ;
   schema:name "G. T. Kneebone" ;
    .

<http://www.worldcat.org/oclc/609594244>
    a schema:CreativeWork ;
   rdfs:label "Mathematical logic and the foundations of mathematics." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/792731> ; # Mathematical logic and the foundations of mathematics : an introductory survey
    .

<http://www.worldcat.org/title/-/oclc/792731>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/792731> ; # Mathematical logic and the foundations of mathematics : an introductory survey
   schema:dateModified "2017-12-25" ;
   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.