skip to content
Mathematical logic Preview this item
ClosePreview this item
Checking...

Mathematical logic

Author: Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
Publisher: New York : Springer-Verlag, ©1984.
Series: Undergraduate texts in mathematics.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

A self-contained introduction to first-order logic includes an exposition of topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization  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

Additional Physical Format: Online version:
Ebbinghaus, Heinz-Dieter, 1939-
Mathematical logic.
New York : Springer-Verlag, ©1984
(OCoLC)756421754
Document Type: Book
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
ISBN: 0387908951 9780387908953 3540908951 9783540908951
OCLC Number: 10022264
Language Note: Translation of: Einführung in die mathematische Logik.
Notes: Translation of: Einführung in die mathematische Logik.
Includes indexes.
Description: ix, 216 pages : illustrations ; 25 cm.
Contents: Syntax of first-order languages; semantics of first-order languages; a sequent calculus; the completeness theorem; the Lowenheim-Skolem theorem and the compactness theorem; the scope of first-order logic; appendix; extension of first-order logic; limitations of the formal method; an algebraic characterization of elementary equivalence; characterizing first-order logic.
Series Title: Undergraduate texts in mathematics.
Other Titles: Einführung in die mathematische Logik.
Responsibility: H.-D. Ebbinghaus, J. Flum, W. Thomas.

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/10022264>
bgn:translationOfWork
library:oclcnum"10022264"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:copyrightYear"1984"
schema:creator
schema:datePublished"1984"
schema:exampleOfWork
<http://worldcat.org/entity/work/id/899983>
schema:name"Einführung in die mathematische Logik."
schema:inLanguage"en"
schema:isPartOf
schema:name"Mathematical logic"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/840708807>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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