Handbook of Mathematical Logic

Handbook of Mathematical Logic
Jon Barwise (ed.)

Part A. Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan)

Part B. Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhász, K. Kunen, M.E. Rudin, J.R. Schoenfield)

Part C. Recursion Theory (Contributors: P. Aczel, M. Davis, H.B. Enderton, A. Kechris, D.A. Martin, Y.N. Moschovakis, M.O. Rabin, R.A. Shore, S.G. Simpson)

Part D. Proof Theory and Constructive Mathematics (Contributors: H. Barendregt, S. Feferman, M.P. Fourman, L. Harrington, J. Paris, H. Schwichtenberg, C. Smorynski, R. Statman, A.S. Troelstra)