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:   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


<http://www.worldcat.org/oclc/14966397>
library:oclcnum"14966397"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/14966397>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
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/772454858>
schema:genre"Bibliography."@en
schema:genre"Bibliography"@en
schema:inLanguage"en"
schema:name"[Omega]--bibliography of mathematical logic"@en
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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