skip to content
Introduction to mathematical logic Preview this item
ClosePreview this item
Checking...

Introduction to mathematical logic

Author: Alonzo Church
Publisher: Princeton, N.J. : Princeton University Press, 1996.
Series: Princeton landmarks in mathematics and physics.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and  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: Problems, exercises, etc
Document Type: Book
All Authors / Contributors: Alonzo Church
ISBN: 0691029067 9780691029061
OCLC Number: 36582965
Notes: "This is a revised and much enlarged edition of Introduction to mathematical logic, Part I, which was published in 1944 as one of the Annals of mathematics studies"--Preface.
Description: ix, 378 pages ; 24 cm.
Series Title: Princeton landmarks in mathematics and physics.
Responsibility: by Alonzo Church.

Reviews

Editorial reviews

Publisher Synopsis

"This volume ... is a reprint of the revised 1956 version of this notable title first published in 1944 in the Annals of Mathematics Studies. Quite a pedigree ... [I]t is fitting that the release of Read more...

 
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/36582965> # Introduction to mathematical logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "36582965" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/115248610#Place/princeton_n_j> ; # Princeton, N.J.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/115248610#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/115248610#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/115248610#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/115248610> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/115248610#Series/princeton_landmarks_in_mathematics_and_physics> ; # Princeton landmarks in mathematics and physics.
   schema:name "Introduction to mathematical logic"@en ;
   schema:productID "36582965" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/36582965#PublicationEvent/princeton_n_j_princeton_university_press_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/115248610#Agent/princeton_university_press> ; # Princeton University Press
   schema:workExample <http://worldcat.org/isbn/9780691029061> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/36582965> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/115248610#Agent/princeton_university_press> # Princeton University Press
    a bgn:Agent ;
   schema:name "Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/115248610#Person/church_alonzo_1903_1995> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995" ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<http://experiment.worldcat.org/entity/work/data/115248610#Place/princeton_n_j> # Princeton, N.J.
    a schema:Place ;
   schema:name "Princeton, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/115248610#Series/princeton_landmarks_in_mathematics_and_physics> # Princeton landmarks in mathematics and physics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/36582965> ; # Introduction to mathematical logic
   schema:name "Princeton landmarks in mathematics and physics." ;
   schema:name "Princeton landmarks in mathematics and physics" ;
    .

<http://experiment.worldcat.org/entity/work/data/115248610#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/115248610#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

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

<http://worldcat.org/isbn/9780691029061>
    a schema:ProductModel ;
   schema:isbn "0691029067" ;
   schema:isbn "9780691029061" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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