TY - BOOK AU - Muller,G.H. AU - Lenski,Wolfgang TI - [Omega]-bibliography of mathematical logic SN - 354015521X U1 - 016.5113 22 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Logic, Symbolic and mathematical KW - Bibliography N1 - Includes indexes; Library has v.1, v.2, v.4; v.2. Non-classical logics/ed. Wolfgang Rautenberg. - xxvii, 469p. - v.4. Recursion theory/ed. Peter G. Hinman. - xlv, 697p ER -