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, ©1994.
Series: Undergraduate texts in mathematics.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Database:WorldCat
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 online

Links to this item

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, ©1994
(OCoLC)863743695
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas
ISBN: 0387942580 9780387942582 3540942580 9783540942580
OCLC Number: 29667924
Description: x, 289 pages : illustrations ; 25 cm.
Contents: Part A: --
I. Introduction --
II. Syntax of first-order languages --
III. Semantics of first-order languages --
IV. A sequent calculus --
V. The completeness theorem --
VI. The Löwenheim-Skolem and the compactness theorem --
VII. The scope of first-order logic --
VIII. Syntactic interpretations and normal forms --
Part B: --
IX. Extensions of first-order logic --
X. Limitations of the formal method --
XI. Free models and logic programming --
XII. An algebraic characterization of elementary equivalence --
XIII. Lindström's theorems.
Series Title: Undergraduate texts in mathematics.
Other Titles: Einführung in die mathematische Logik.
Responsibility: H.-D. Ebbinghaus, J. Flum, W. Thomas.
More information:

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.

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/29667924> # Mathematical logic
    a schema:CreativeWork, schema:Book ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/29667924#CreativeWork/unidentifiedOriginalWork> ; # Einführung in die mathematische Logik.
   library:oclcnum "29667924" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://dewey.info/class/511.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/logica> ; # Logica
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/54214837> ; # Jörg Flum
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899983#Person/thomas_wolfgang_1947> ; # Wolfgang Thomas
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/899983#Person/ebbinghaus_heinz_dieter_1939> ; # Heinz-Dieter Ebbinghaus
   schema:datePublished "1994" ;
   schema:description "Part A: -- I. Introduction -- II. Syntax of first-order languages -- III. Semantics of first-order languages -- IV. A sequent calculus -- V. The completeness theorem -- VI. The Löwenheim-Skolem and the compactness theorem -- VII. The scope of first-order logic -- VIII. Syntactic interpretations and normal forms -- Part B: -- IX. Extensions of first-order logic -- X. Limitations of the formal method -- XI. Free models and logic programming -- XII. An algebraic characterization of elementary equivalence -- XIII. Lindström's theorems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899983> ; # Einführung in die mathematische Logik.
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/899983#Series/undergraduate_texts_in_mathematics> ; # Undergraduate texts in mathematics.
   schema:isSimilarTo <http://www.worldcat.org/oclc/863743695> ;
   schema:name "Mathematical logic"@en ;
   schema:productID "29667924" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/29667924#PublicationEvent/new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899983#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.ulb.tu-darmstadt.de/tocs/198120494.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540942580> ;
   schema:workExample <http://worldcat.org/isbn/9780387942582> ;
   umbel:isLike <http://d-nb.info/940126486> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/29667924> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Person/ebbinghaus_heinz_dieter_1939> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
   schema:birthDate "1939" ;
   schema:familyName "Ebbinghaus" ;
   schema:givenName "Heinz-Dieter" ;
   schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Person/thomas_wolfgang_1947> # Wolfgang Thomas
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Thomas" ;
   schema:givenName "Wolfgang" ;
   schema:name "Wolfgang Thomas" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Series/undergraduate_texts_in_mathematics> # Undergraduate texts in mathematics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/29667924> ; # Mathematical logic
   schema:name "Undergraduate texts in mathematics." ;
   schema:name "Undergraduate texts in mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#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/54214837> # Jörg Flum
    a schema:Person ;
   schema:familyName "Flum" ;
   schema:givenName "Jörg" ;
   schema:name "Jörg Flum" ;
    .

<http://worldcat.org/entity/work/id/899983> # Einführung in die mathematische Logik.
   schema:name "Einführung in die mathematische Logik." ;
    .

<http://worldcat.org/isbn/9780387942582>
    a schema:ProductModel ;
   schema:isbn "0387942580" ;
   schema:isbn "9780387942582" ;
    .

<http://worldcat.org/isbn/9783540942580>
    a schema:ProductModel ;
   schema:isbn "3540942580" ;
   schema:isbn "9783540942580" ;
    .

<http://www.worldcat.org/oclc/863743695>
    a schema:CreativeWork ;
   rdfs:label "Mathematical logic." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/29667924> ; # Mathematical logic
    .

<http://www.worldcat.org/title/-/oclc/29667924#CreativeWork/unidentifiedOriginalWork> # Einführung in die mathematische Logik.
    a schema:CreativeWork ;
   schema:inLanguage "de" ;
   schema:name "Einführung in die mathematische Logik." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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