[Omega]-bibliography of mathematical logic - Muller, G. H. Gert Heinz; Lenski, Wolfgang (Berlin : Springer-Verlag, 1987)
v.2. Non-classical logics/ed. Wolfgang Rautenberg. - xxvii, 469p. - v.4. Recursion theory/ed. Peter G. Hinman. - xlv, 697p.
Includes indexes
Library has v.1, v.2, v.4
Keywords: Logic, Symbolic and mathematical -- Bibliography