TY - BOOK AU - Muller,Gert H. TI - A bibliography of mathematical logic SN - 0387173218 : U1 - 0016.5113 PY - 1987///- CY - Berlin PB - Springer-Verlag KW - Logic, Symbolic and mathematical KW - Bibliography N1 - Library has vol.1, 2 and 4; Traslation from Multiple Language; Includes bibliographical references and index; Vol.1Classical logic /edited by wolfang Rautenberg. - v.2 Non-classical Logics/edited by Wolf gang Rautenberg. - v.4 Recursion Theory/edited by Peter G. Hinman ER -