Handbook of Mathematical Logic

Handbook of Mathematical Logic

1st Edition - March 1, 1982

Write a review

  • Editor: J. Barwise
  • eBook ISBN: 9780080933641

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

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. 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

Write a review

There are currently no reviews for "Handbook of Mathematical Logic"