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

Introduction to mathematical logic

Author: Elliott Mendelson
Publisher: Boca Raton : CRC Press, ©2010.
Series: Discrete mathematics and its applications.
Edition/Format:   Print book : English : 5th edView all editions and formats
Summary:
"Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--Jacket.
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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Elliott Mendelson
ISBN: 9781584888765 1584888768
OCLC Number: 148589097
Notes: "A Chapman and Hall book."
Description: xxiv, 469 pages : illustrations ; 25 cm.
Contents: The propositional calculus --
First-order logic and model theory --
Formal number theory --
Axiomatic set theory --
Computability --
Appendix A: Second-order logic --
Appendix B: First steps in modal propositional logic.
Series Title: Discrete mathematics and its applications.
Responsibility: Elliott Mendelson.
More information:

Abstract:

Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Since it first appeared in 1964, Mendelson's book has been recognized as an excellent textbook in the field. It is one of the most frequently mentioned texts in references and recommended reading 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/148589097> # Introduction to mathematical logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "148589097" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/481876#Place/boca_raton> ; # Boca Raton
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/481876#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookEdition "5th ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2010" ;
   schema:creator <http://viaf.org/viaf/66512007> ; # Elliott Mendelson
   schema:datePublished "2010" ;
   schema:description "The propositional calculus -- First-order logic and model theory -- Formal number theory -- Axiomatic set theory -- Computability -- Appendix A: Second-order logic -- Appendix B: First steps in modal propositional logic."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/481876> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/481876#Series/discrete_mathematics_and_its_applications> ; # Discrete mathematics and its applications.
   schema:name "Introduction to mathematical logic"@en ;
   schema:productID "148589097" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/148589097#PublicationEvent/boca_raton_crc_press_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/481876#Agent/crc_press> ; # CRC Press
   schema:reviews <http://www.worldcat.org/title/-/oclc/148589097#Review/-1344230381> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017753949&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9781584888765> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/148589097> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/481876#Series/discrete_mathematics_and_its_applications> # Discrete mathematics and its applications.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/148589097> ; # Introduction to mathematical logic
   schema:name "Discrete mathematics and its applications." ;
   schema:name "Discrete mathematics and its applications" ;
    .

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

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

<http://viaf.org/viaf/66512007> # Elliott Mendelson
    a schema:Person ;
   schema:familyName "Mendelson" ;
   schema:givenName "Elliott" ;
   schema:name "Elliott Mendelson" ;
    .

<http://worldcat.org/isbn/9781584888765>
    a schema:ProductModel ;
   schema:isbn "1584888768" ;
   schema:isbn "9781584888765" ;
    .

<http://www.worldcat.org/title/-/oclc/148589097#Review/-1344230381>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/148589097> ; # Introduction to mathematical logic
   schema:reviewBody ""Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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