[Omega]--bibliography of mathematical logic
By: edited by Gert H. Müller in collaboration with Wolfgang Lenski.
Contributors: Müller, G. H. 1923-; Lenski, Wolfgang, 1952-
Series: Perspectives in mathematical logic
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Subjects: Logic, Symbolic and mathematical -- Bibliography.
Other titles: Bibliography of mathematical logic.
Notes: Includes indexes.
Table of contents: title: v. 1. Classical logic / Wolfgang Rautenberg, ed.; title: v. 2. Non-classical logics / Wolfgang Rautenberg, ed.; title: v. 3. Model theory / Heinz-Dieter Ebbinghaus, ed.; title: v. 4. Recursion theory / Peter G. Hinman, ed.; title: v. 5. Set theory / Andreas R. Blass, ed.; title: v. 6. Proof theory ; Constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra, eds.