Mathematical logic (Book, 2005) [WorldCat.org]
skip to content
Mathematical logic Preview this item
ClosePreview this item
Checking...

Mathematical logic

Author: Heinz-Dieter Ebbinghaus; J Flum; W Thomas
Publisher: New York : Springer, [2005]
Series: Undergraduate texts in Mathematics
Edition/Format:   Print book : English : 2. ed., 3. [Nachdr.]View all editions and formats
Summary:

This textbook is devoted to the study of first-order logic and its role in the foundations of mathematics. It begins by describing Goedel's Theorem and model theory, and then progresses to more  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

Document Type: Book
All Authors / Contributors: Heinz-Dieter Ebbinghaus; J Flum; W Thomas
ISBN: 0387942580 9780387942582 3540942580 9783540942580
OCLC Number: 705336002
Description: x, 289 Seiten : Diagramme.
Contents:
Series Title: Undergraduate texts in Mathematics
Other Titles: Einführung in die mathematische Logik.
Responsibility: H.-D. Ebbinghaus ; J. Flum ; W. Thomas.

Reviews

Editorial reviews

Publisher Synopsis

"...the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level." - Journal of Symbolic Logic

 
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.

Close Window

Please sign in to WorldCat 

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