
Handbook of Mathematical Logic
Free Global Shipping
No minimum orderDescription
The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Table of Contents
- 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). Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhász, K. Kunen, M.E. Rudin, J.R. Schoenfield). 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). 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). Indices.
Product details
- No. of pages: 1164
- Language: English
- Copyright: © North Holland 1982
- Published: March 1, 1982
- Imprint: North Holland
- eBook ISBN: 9780080933641
About the Editor
J. Barwise
Ratings and Reviews
There are currently no reviews for "Handbook of Mathematical Logic"