skip to content
Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie Preview this item
ClosePreview this item
Checking...

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

Author: Georg Kreisel; Jean-Louis Krivine; Joachim Jung
Publisher: Berlin ; Heidelberg ; New York : Springer, 1972.
Series: Hochschultext.
Edition/Format:   Print book : GermanView all editions and formats
Database:WorldCat
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: Georg Kreisel; Jean-Louis Krivine; Joachim Jung
ISBN: 3540056548 9783540056546 0387056548 9780387056548
OCLC Number: 437430436
Notes: Prevod dela: Eléments de logique mathématique.
Description: 274 str. ; 24 cm.
Series Title: Hochschultext.
Other Titles: Eléments de logique mathématique
Responsibility: G. Kreisel, J.-L. Krivine ; aus dem Französischen übersetzt von J. Jung.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(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/437430436> # Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "437430436" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/500335550#Place/heidelberg> ; # Heidelberg
   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/500335550#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/500335550#Thing/matematicna_logika> ; # matematična logika
   schema:author <http://experiment.worldcat.org/entity/work/data/500335550#Person/kreisel_georg> ; # Georg Kreisel
   schema:author <http://experiment.worldcat.org/entity/work/data/500335550#Person/krivine_jean_louis> ; # Jean-Louis Krivine
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/500335550#Person/jung_joachim> ; # Joachim Jung
   schema:datePublished "1972" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/500335550> ; # Eléments de logique mathématique
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/500335550#Series/hochschultext> ; # Hochschultext.
   schema:name "Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie" ;
   schema:productID "437430436" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/437430436#PublicationEvent/berlin_heidelberg_new_york_springer_1972> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/500335550#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9780387056548> ;
   schema:workExample <http://worldcat.org/isbn/9783540056546> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/437430436> ;
    .


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/500335550#Person/jung_joachim> # Joachim Jung
    a schema:Person ;
   schema:familyName "Jung" ;
   schema:givenName "Joachim" ;
   schema:name "Joachim Jung" ;
    .

<http://experiment.worldcat.org/entity/work/data/500335550#Person/kreisel_georg> # Georg Kreisel
    a schema:Person ;
   schema:familyName "Kreisel" ;
   schema:givenName "Georg" ;
   schema:name "Georg Kreisel" ;
    .

<http://experiment.worldcat.org/entity/work/data/500335550#Person/krivine_jean_louis> # Jean-Louis Krivine
    a schema:Person ;
   schema:familyName "Krivine" ;
   schema:givenName "Jean-Louis" ;
   schema:name "Jean-Louis Krivine" ;
    .

<http://experiment.worldcat.org/entity/work/data/500335550#Series/hochschultext> # Hochschultext.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/437430436> ; # Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
   schema:name "Hochschultext." ;
   schema:name "Hochschultext" ;
    .

<http://experiment.worldcat.org/entity/work/data/500335550#Thing/matematicna_logika> # matematična logika
    a schema:Thing ;
   schema:name "matematična logika" ;
    .

<http://worldcat.org/entity/work/id/500335550> # Eléments de logique mathématique
   schema:name "Eléments de logique mathématique" ;
    .

<http://worldcat.org/isbn/9780387056548>
    a schema:ProductModel ;
   schema:isbn "0387056548" ;
   schema:isbn "9780387056548" ;
    .

<http://worldcat.org/isbn/9783540056546>
    a schema:ProductModel ;
   schema:isbn "3540056548" ;
   schema:isbn "9783540056546" ;
    .

<http://www.worldcat.org/title/-/oclc/437430436>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/437430436> ; # Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
   schema:dateModified "2017-09-03" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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