Handbook of Mathematical Logic

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

Contents

Set Theory
315
Recursion Theory
523
Proof Theory And Constructive Mathematics Guide To Part D
817

Other editions - View all

Common terms and phrases

Bibliographic information