Handbook of Mathematical Logic

Front Cover
J. Barwise
Elsevier, Mar 1, 1982 - Mathematics - 1164 pages
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.

What people are saying - Write a review

We haven't found any reviews in the usual places.


Set Theory
Recursion Theory
Proof Theory And Constructive Mathematics Guide To Part D

Other editions - View all

Common terms and phrases

Bibliographic information