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


Primary Entity

<http://www.worldcat.org/oclc/10022264> # Mathematical logic
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/10022264#CreativeWork/unidentifiedOriginalWork> ; # Einführung in die mathematische Logik.
   library:oclcnum "10022264" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/899983#Topic/logique_symbolique> ; # logique symbolique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   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/logique_mathematique> ; # logique mathématique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899983#Person/flum_jorg> ; # Jörg Flum
   schema:contributor <http://viaf.org/viaf/24669221> ; # Wolfgang Thomas
   schema:copyrightYear "1984" ;
   schema:creator <http://viaf.org/viaf/108792446> ; # Heinz-Dieter Ebbinghaus
   schema:datePublished "1984" ;
   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/756421754> ;
   schema:name "Mathematical logic"@en ;
   schema:productID "10022264" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/10022264#PublicationEvent/new_york_springer_verlag_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899983#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387908953> ;
   schema:workExample <http://worldcat.org/isbn/9783540908951> ;
   umbel:isLike <http://d-nb.info/840708807> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/10022264> ;
    .


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/flum_jorg> # Jörg Flum
    a schema:Person ;
   schema:familyName "Flum" ;
   schema:givenName "Jörg" ;
   schema:name "Jörg Flum" ;
    .

<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/10022264> ; # Mathematical logic
   schema:name "Undergraduate texts in mathematics." ;
   schema:name "Undergraduate texts in mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/899983#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
   schema:name "logique symbolique"@en ;
    .

<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 ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/899983#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
   schema:name "Preuve, Théorie de la"@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/108792446> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
   schema:birthDate "1939" ;
   schema:familyName "Ebbinghaus" ;
   schema:givenName "Heinz-Dieter" ;
   schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://viaf.org/viaf/24669221> # Wolfgang Thomas
    a schema:Person ;
   schema:birthDate "1947" ;
   schema:familyName "Thomas" ;
   schema:givenName "Wolfgang" ;
   schema:name "Wolfgang Thomas" ;
    .

<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/9780387908953>
    a schema:ProductModel ;
   schema:isbn "0387908951" ;
   schema:isbn "9780387908953" ;
    .

<http://worldcat.org/isbn/9783540908951>
    a schema:ProductModel ;
   schema:isbn "3540908951" ;
   schema:isbn "9783540908951" ;
    .

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

<http://www.worldcat.org/title/-/oclc/10022264#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.