October 1988
Review: Wolfgang Rautenberg, $\Omega$-bibliography of mathematical logic, Vol. I: Classical logic, and Wolfgang Rautenberg, $\Omega$-bibliography of mathematical logic, Vol. II: Non-classical logics, and Heinz-Dieter Ebbinghaus, $\Omega$-bibliography of mathematical logic, Vol. III: Model theory, and Peter G. Hinman, $\Omega$-bibliography of mathematical logic, Vol. IV: Recursion theory, and Andreas R. Blass, $\Omega$-bibliography of mathematical logic, Vol. V: Set theory, and Jane E. Kister and Dirk van Dalen and Anne S. Troelstra, $\Omega$-bibliography of mathematical logic, Vol. VI: Proof theory and constructive mathematics
K. Jon Barwise
