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

Introduction to mathematical logic

Author: Alonzo Church
Publisher: Princeton, New Jersey : 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: Includes indexes.
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"--Preface.
Description: volumes ; 24 cm.
Contents: Volune I. Introdution ; The propositional calculus ; The propositional calculus (continued) ; Functional calculi of first order ; The pure functional calculus of first order ; Functional calculi of second order --
Series Title: Princeton mathematical series, 17.
Responsibility: by Alonzo Church.

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://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:author <http://viaf.org/viaf/109830754> ; # Alonzo Church
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "1956/9999" ;
   schema:description "Volune I. Introdution ; The propositional calculus ; The propositional calculus (continued) ; Functional calculi of first order ; The pure functional calculus of first order ; Functional calculi of second order --"@en ;
   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" ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB5615262> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/374881> ;
    .


Related Entities

<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://viaf.org/viaf/109830754> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995," ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<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.