Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) [Paperback]

J. Barwise (Editor)

Book Description

ISBN-10: 0444863885 | ISBN-13: 978-0444863881 | Publication Date: January 15, 1989

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.

Editorial Reviews

Review

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 für 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

Product Details

• Paperback: 1166 pages
• Publisher: North Holland (January 15, 1989)
• Language: English
• ISBN-10: 0444863885
• ISBN-13: 978-0444863881
• Product Dimensions: 8.7 x 5.9 x 2 inches
• Shipping Weight: 3.9 pounds
• Average Customer Review: 3.7 out of 5 stars  See all reviews (3 customer reviews)
• Amazon Best Sellers Rank: #2,363,594 in Books (See Top 100 in Books)

Customer Reviews

Most Helpful Customer Reviews

12 of 13 people found the following review helpful:

4.0 out of 5 stars Classics but difficult, June 18, 2001

By A Customer

This review is from: Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) (Paperback)

The handbook is a heavy book that is definitely not for beginners. However, it is certainly a classic. It is a large scope book, which cover different area such as model theory, set theory, recursion theory, proof theory and constructive mathematics. It can be useful for student of logic and professionals. The articles in the handbook covering different areas of mathematical logic till the 70's. They differ in complexity and style. Among them it is worth mentioning Smorynski's article about Gödel's incompleteness theorems and the famous result of Paris & Harrington. In short, if you are seriously interested in Logic - buy it. Just remember that it is updated to the end of the 70's.

6 of 8 people found the following review helpful:

2.0 out of 5 stars Don't buy it blind, July 11, 2005

By 

Nathan Oakes (Ashland, Oregon) - See all my reviews

This review is from: Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) (Paperback)

The chapters are very uneven, as you might expect with 34 authors. A couple are well written but most are poor -- too terse, little context, poor writing. Better to look in an appropriate graduate text.

1 of 3 people found the following review helpful:

5.0 out of 5 stars One masterpiece, August 10, 2007

By 

Francisco Martin Leon - See all my reviews
(REAL NAME)   

This review is from: Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) (Paperback)

One amazing encyclopedic book about mathematical logic (is there another type of logic?). One basic book if you want to know more about this theme after the typical pre-graduate mathematical logic course of any university. Difficult but essential.