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

Introduction to mathematical logic

Author: Elliott Mendelson
Publisher: Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987.
Series: Wadsworth & Brooks/Cole mathematics series.
Edition/Format:   Book : English : 3rd edView all editions and formats
Database:WorldCat
Summary:

This classic in the field is a compact introduction to some of the basic topics of mathematical logic. This edition contains many new examples and the notation has been updated throughout.

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:
Mendelson, Elliott.
Introduction to mathematical logic.
Monterey, Calif. : Wadsworth & Brooks/Cole Advanced Books & Software, ©1987
(OCoLC)624499217
Document Type: Book
All Authors / Contributors: Elliott Mendelson
ISBN: 0534066240 9780534066246
OCLC Number: 13580200
Description: ix, 341 pages ; 24 cm.
Contents: Introduction. The propositional calculus. Quantification theory. Formal number theory. Axiomatic set theory. Effective computability. Bibliography. Answers. Notation. Index.
Series Title: Wadsworth & Brooks/Cole mathematics series.
Responsibility: Elliott Mendelson.

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


<http://www.worldcat.org/oclc/13580200>
library:oclcnum"13580200"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookEdition"3rd ed."
schema:copyrightYear"1987"
schema:creator
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/481876>
schema:inLanguage"en"
schema:isPartOf
schema:name"Introduction to mathematical logic"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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