Handbook of mathematical logic
Author(s)
Bibliographic Information
Handbook of mathematical logic
（Studies in logic and the foundations of mathematics, v. 90）
North-Holland Pub. Co., 1977
- : pbk
Available at / 125 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C||Handbook-1||複本2498253
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:510/b2892020999061
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and indexes
Description and Table of Contents
Description
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. Juhasz, 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.
by "Nielsen BookData"
