Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.

Retrieve article in: PDF

Book Information

Author(s): Wolfgang Rautenberg
Title: $\Omega$-bibliography of mathematical logic, Vol. I: Classical logic
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, xxxix+485 pp., $170.00. ISBN 3-540-17321-8

Author(s): Wolfgang Rautenberg
Title: $\Omega$-bibliography of mathematical logic, Vol. II: Non-classical logics
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, xxxvii+469 pp., $170.00. ISBN 3-540-15521-X

Author(s): Heinz-Dieter Ebbinghaus
Title: $\Omega$-bibliography of mathematical logic, Vol. III: Model theory
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, xlv+617 pp., $200.00. ISBN 3-540-15522-8

Author(s): Peter G. Hinman
Title: $\Omega$-bibliography of mathematical logic, Vol. IV: Recursion theory
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, xlv+697 pp., $200.00. ISBN 3-540-15523-6

Author(s): Andreas R. Blass
Title: $\Omega$-bibliography of mathematical logic, Vol. V: Set theory
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, li+791 pp., $230.00. ISBN 3-540-15525-2

Author(s): Jane E. Kister, Dirk van Dalen and Anne S. Troelstra
Title: $\Omega$-bibliography of mathematical logic, Vol. VI: Proof theory and constructive mathematics
Additional book information: edited by Gert H. Müller in collaboration with Wolfgang Lenski. Springer-Verlag, Berlin, Heidelberg, New York, 1987, xli+405 pp., $155.00. ISBN 3-540-15524-4

Additional Information:

Reviewer(s):
K. Jon Barwise

Review Information:
Journal: Bull. Amer. Math. Soc. 19 (1988), 524-528.
DOI: 10.1090/S0273-0979-1988-15729-1
PII: S 0273-0979(1988)15729-1