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: G Kreisel; J -L Krivine
Publisher: Berlin : Springer, 1972
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: G Kreisel; J -L Krivine
ISBN: 3540056548 9783540056546 0387056548 9780387056548
OCLC Number: 472170631
Notes: Originaltitel: Eléments de logique mathématique
Description: xv, 274 s.
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:(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/472170631> # Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
    a schema:Book, schema:CreativeWork ;
    bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/472170631#CreativeWork/unidentifiedOriginalWork> ;
    library:oclcnum "472170631" ;
    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://id.loc.gov/authorities/subjects/sh85086421> ; # Model theory
    schema:about <http://experiment.worldcat.org/entity/work/data/500335550#Topic/model_theory> ; # Model theory
    schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/92399890> ; # J -L Krivine
    schema:creator <http://viaf.org/viaf/15582257> ; # G. Kreisel
    schema:datePublished "1972" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/500335550> ;
    schema:inLanguage "de" ;
    schema:name "Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie" ;
    schema:productID "472170631" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/472170631#PublicationEvent/berlin_springer_1972> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/500335550#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783540056546> ;
    schema:workExample <http://worldcat.org/isbn/9780387056548> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/472170631> ;
    .


Related Entities

<http://id.loc.gov/authorities/subjects/sh85086421> # Model theory
    a schema:Intangible ;
    schema:name "Model theory" ;
    .

<http://id.worldcat.org/fast/1024368> # Model theory
    a schema:Intangible ;
    schema:name "Model theory" ;
    .

<http://viaf.org/viaf/15582257> # G. Kreisel
    a schema:Person ;
    schema:familyName "Kreisel" ;
    schema:givenName "G." ;
    schema:name "G. Kreisel" ;
    .

<http://viaf.org/viaf/92399890> # J -L Krivine
    a schema:Person ;
    schema:familyName "Krivine" ;
    schema:givenName "J. -L" ;
    schema:name "J -L Krivine" ;
    .

<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/472170631>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/472170631> ; # Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie
    schema:dateModified "2015-03-18" ;
    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.