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

Introduction to mathematical logic.

Author: Hans Hermes
Publisher: Berlin, New York, Springer-Verlag, 1973.
Series: Universitext.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Hermes, Hans.
Introduction to mathematical logic.
Berlin, New York, Springer-Verlag, 1973
(OCoLC)624490362
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hans Hermes
ISBN: 0387058192 9780387058191 3540058192 9783540058199
OCLC Number: 595335
Notes: Translation of Einführung in die mathematische Logik.
Description: xi, 242 pages 26 cm.
Contents: I. Introduction.- II. The Language of Predicate Logic.- III. The Semantics of Predicate Logic.- IV. A Predicate Calculus.- V. Godel's Completeness Theorem.- VI. Peano's Axiom System.- VII. Extensions of the Language, Normal Forms.- VIII. The Theorems of A. Robinson, Craig and Beth.- IX. Miscellaneous.- Further Reading.- Index of Abbreviations for Defining and Derived Rules.- Notation.- Name and Subject Index.
Series Title: Universitext.
Other Titles: Einführung in die mathematische Logik.
Responsibility: Translated from German by Diana Schmidt.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (2)

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/595335> # Introduction to mathematical logic.
    a schema:Book, schema:CreativeWork ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/595335#CreativeWork/unidentifiedOriginalWork> ; # Einführung in die mathematische Logik.
    library:oclcnum "595335" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1799424#Place/berlin> ; # Berlin
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1799424#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1799424#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://dewey.info/class/511.3/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1799424#Person/hermes_hans> ; # Hans Hermes
    schema:datePublished "1973" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1799424> ; # Einführung in die mathematische Logik.
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1799424#Series/universitext> ; # Universitext.
    schema:isSimilarTo <http://www.worldcat.org/oclc/624490362> ;
    schema:name "Introduction to mathematical logic."@en ;
    schema:productID "595335" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/595335#PublicationEvent/berlin_new_york_springer_verlag_1973> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1799424#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz011181680cov.htm> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909422&custom%5Fatt%5F2=simple%5Fviewer> ;
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1909422&custom_att_2=simple_viewer> ;
    schema:url <http://www.gbv.de/dms/hbz/toc/ht000618784.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780387058191> ;
    schema:workExample <http://worldcat.org/isbn/9783540058199> ;
    umbel:isLike <http://d-nb.info/730115259> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/595335> ;
    .


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/1799424#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1799424#Person/hermes_hans> # Hans Hermes
    a schema:Person ;
    schema:familyName "Hermes" ;
    schema:givenName "Hans" ;
    schema:name "Hans Hermes" ;
    .

<http://experiment.worldcat.org/entity/work/data/1799424#Series/universitext> # Universitext.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/595335> ; # Introduction to mathematical logic.
    schema:name "Universitext." ;
    .

<http://experiment.worldcat.org/entity/work/data/1799424#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/1799424#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://worldcat.org/entity/work/id/1799424> # Einführung in die mathematische Logik.
    schema:name "Einführung in die mathematische Logik." ;
    .

<http://worldcat.org/isbn/9780387058191>
    a schema:ProductModel ;
    schema:isbn "0387058192" ;
    schema:isbn "9780387058191" ;
    .

<http://worldcat.org/isbn/9783540058199>
    a schema:ProductModel ;
    schema:isbn "3540058192" ;
    schema:isbn "9783540058199" ;
    .

<http://www.worldcat.org/oclc/624490362>
    a schema:CreativeWork ;
    rdfs:label "Introduction to mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/595335> ; # Introduction to mathematical logic.
    .

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