
Handbook of Mathematical Logic: Volume 90
J. Barwise(Editor)
North-Holland (Publisher)
Published on 1. March 1982
Book
Paperback/Softback
1164 pages
978-0-444-86388-1 (ISBN)
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.
Reviews / Votes
Outstanding collection of thirty-one survey articles covering in some detail every major area of current research in mathematical logic. Each article is written by a prominent logician specifically for this volume... A very inviting book in which to browse as well as to obtain considerable detail on specific topics, considering the breadth of coverage. The handbook should be welcomed by the entire mathematical community.American Mathematical Monthly
This book will also serve as a valuable reference work for any course in mathematical logic.
Zentralblatt fuer Didaktik der Mathematik
Briefly, this is a magnificent book... there is nothing to compare with it for breadth of coverage... exceedingly high standards of expertise and exposition.
Australasian Journal of Philosophy
...the role of standard logic reference is fulfilled by the present volume... excellent value for money... the standard logic text for the 1980's... The book is certainly a gold-mine of information on modern logic... the only reliable reference in classical logic... deserves the widest possible use...
Canadian Journal of Philosophy
More details
Series
Language
English
Place of publication
United States
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Dimensions
Height: 225 mm
Width: 149 mm
Weight
1750 gr
ISBN-13
978-0-444-86388-1 (9780444863881)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

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