skip to content
[Omega]--bibliography of mathematical logic Preview this item
ClosePreview this item
Checking...

[Omega]--bibliography of mathematical logic

Author: G H Müller; Wolfgang Lenski
Publisher: Berlin ; New York : Springer-Verlag, ©1987-
Series: Perspectives in mathematical logic.
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 in the library

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

Details

Genre/Form: Bibliography
Additional Physical Format: Online version:
[Omega]--bibliography of mathematical logic.
Berlin ; New York : Springer-Verlag, ©1987-
(OCoLC)629305804
Document Type: Book
All Authors / Contributors: G H Müller; Wolfgang Lenski
ISBN: 0387173218 9780387173214
OCLC Number: 14966397
Notes: Includes indexes.
Description: volumes <1-6> ; 28 cm.
Contents: v. 1. Classical logic / Wolfgang Rautenberg, editor --
v. 2. Non-classical logics / Wolfgang Rautenberg, editor --
v. 3. Model theory / Heinz-Dieter Ebbinghaus, editor --
v. 4. Recursion theory / Peter G. Hinman, editor --
v. 5. Set theory / Andreas R. Blass, editor --
v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, editors.
Series Title: Perspectives in mathematical logic.
Other Titles: Bibliography of mathematical logic.
Responsibility: edited by Gert H. Müller in collaboration with Wolfgang Lenski.

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/14966397> # [Omega]--bibliography of mathematical logic
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "14966397" ;
    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/2863479088#Place/berlin> ; # Berlin
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/2863479088#CreativeWork/bibliography_of_mathematical_logic> ; # Bibliography of mathematical logic.
    schema:about <http://experiment.worldcat.org/entity/work/data/2863479088#Topic/theorie_ensemble> ; # Théorie ensemble
    schema:about <http://experiment.worldcat.org/entity/work/data/2863479088#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://dewey.info/class/016.5113/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2863479088#Topic/logique_symbolique_et_mathematique_bibliographie> ; # Logique symbolique et mathématique--Bibliographie
    schema:about <http://experiment.worldcat.org/entity/work/data/2863479088#Topic/bibliographie_logique> ; # Bibliographie logique
    schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/classification/Z6654> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2863479088#Person/lenski_wolfgang_1952> ; # Wolfgang Lenski
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2863479088#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
    schema:copyrightYear "1987/" ;
    schema:datePublished "1987/9999" ;
    schema:description "v. 1. Classical logic / Wolfgang Rautenberg, editor -- v. 2. Non-classical logics / Wolfgang Rautenberg, editor -- v. 3. Model theory / Heinz-Dieter Ebbinghaus, editor -- v. 4. Recursion theory / Peter G. Hinman, editor -- v. 5. Set theory / Andreas R. Blass, editor -- v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, editors."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2863479088> ;
    schema:genre "Bibliography"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2863479088#Series/perspectives_in_mathematical_logic> ; # Perspectives in mathematical logic.
    schema:isSimilarTo <http://www.worldcat.org/oclc/629305804> ;
    schema:name "[Omega]--bibliography of mathematical logic"@en ;
    schema:productID "14966397" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/14966397#PublicationEvent/berlin_new_york_springer_verlag_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2863479088#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387173214> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/14966397> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/2863479088#CreativeWork/bibliography_of_mathematical_logic> # Bibliography of mathematical logic.
    a schema:CreativeWork ;
    schema:name "Bibliography of mathematical logic." ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#Person/lenski_wolfgang_1952> # Wolfgang Lenski
    a schema:Person ;
    schema:birthDate "1952" ;
    schema:familyName "Lenski" ;
    schema:givenName "Wolfgang" ;
    schema:name "Wolfgang Lenski" ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#Person/muller_g_h_gert_heinz_1923> # Gert Heinz Müller
    a schema:Person ;
    schema:birthDate "1923" ;
    schema:familyName "Müller" ;
    schema:givenName "Gert Heinz" ;
    schema:givenName "G. H." ;
    schema:name "Gert Heinz Müller" ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#Series/perspectives_in_mathematical_logic> # Perspectives in mathematical logic.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/14966397> ; # [Omega]--bibliography of mathematical logic
    schema:name "Perspectives in mathematical logic." ;
    schema:name "Perspectives in mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#Topic/bibliographie_logique> # Bibliographie logique
    a schema:Intangible ;
    schema:name "Bibliographie logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#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/2863479088#Topic/logique_symbolique_et_mathematique_bibliographie> # Logique symbolique et mathématique--Bibliographie
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Bibliographie"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2863479088#Topic/theorie_ensemble> # Théorie ensemble
    a schema:Intangible ;
    schema:name "Théorie ensemble"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://worldcat.org/isbn/9780387173214>
    a schema:ProductModel ;
    schema:isbn "0387173218" ;
    schema:isbn "9780387173214" ;
    .

<http://www.worldcat.org/oclc/629305804>
    a schema:CreativeWork ;
    rdfs:label "[Omega]--bibliography of mathematical logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/14966397> ; # [Omega]--bibliography of mathematical logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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