 |
 |
 | HANDBOOK OF MATHEMATICAL LOGIC
|  |
 |  |  |
 |
 |
To order this title, and for more information, click here
Edited By
J. Barwise
Included in series
Studies in Logic and the Foundations of Mathematics, 90
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.
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.
Bibliographic & ordering Information
Paperback, publication date: MAR-1982
ISBN-13: 978-0-444-86388-1
ISBN-10: 0-444-86388-5
Imprint: NORTH-HOLLAND
Price: Order form
USD 144 EUR 122 GBP 81
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
050/500
Last update: 16 Jul 2008
|
 |
|  |
 |  |  |
 |
|
|  |