Handbook of Mathematical Logic
( Volume 90 )
Publication series ：Volume 90
Publisher： Elsevier Science
Publication year： 1982
E-ISBN: 9780080933641
P-ISBN(Paperback): 9780444863881
P-ISBN(Hardback): 9780444863881
Subject： O14 Mathematical logic and foundations of mathematics
Language： ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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.
Chapter