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

Introduction to mathematical logic.

Author: Alonzo Church
Publisher: Princeton : Princeton University Press, 1956-
Series: Princeton mathematical series, 17.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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:
Church, Alonzo, 1903-1995.
Introduction to mathematical logic.
Princeton, Princeton University Press, 1956-
(OCoLC)567974725
Document Type: Book
All Authors / Contributors: Alonzo Church
OCLC Number: 374881
Notes: Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies."
Description: volumes ; 24 cm.
Series Title: Princeton mathematical series, 17.

Reviews

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

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

  • jds  (by 1 person)
  • logic  (by 1 person)

Similar Items

Related Subjects:(4)

User lists with this item (1)

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/374881> # Introduction to mathematical logic.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "374881" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/115248610#Place/princeton> ; # Princeton
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/115248610#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://experiment.worldcat.org/entity/work/data/115248610#Topic/logica_matematica> ; # Logica Matematica
   schema:about <http://experiment.worldcat.org/entity/work/data/115248610#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://dewey.info/class/164/> ;
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/115248610#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:datePublished "1956/9999" ;
   schema:datePublished "1956/" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/115248610> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/115248610#Series/princeton_mathematical_series> ; # Princeton mathematical series ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/567974725> ;
   schema:name "Introduction to mathematical logic."@en ;
   schema:productID "374881" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/374881#PublicationEvent/princeton_princeton_university_press_1956> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/115248610#Agent/princeton_university_press> ; # Princeton University Press
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/374881> ;
    .


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#Series/princeton_mathematical_series> # Princeton mathematical series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/374881> ; # Introduction to mathematical logic.
   schema:name "Princeton mathematical series ;" ;
    .

<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"@fr ;
    .

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

<http://www.worldcat.org/oclc/567974725>
    a schema:CreativeWork ;
   rdfs:label "Introduction to mathematical logic." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/374881> ; # Introduction to mathematical logic.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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