1 option
Handbook of mathematical logic / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].
- Format:
- Book
- Series:
- Studies in logic and the foundations of mathematics ; v. 90.
- Studies in logic and the foundations of mathematics ; v. 90
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (1179 p.)
- Place of Publication:
- Amsterdam ; New York : North-Holland Pub. Co., 1977.
- Language Note:
- English
- Summary:
- 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:
- pt. A. Model theory
- pt. B. Set theory
- pt. C. Recursion theory
- pt. D. Proof theory and constructive mathematics.
- Notes:
- Description based upon print version of record.
- Includes bibliographical references and indexes.
- ISBN:
- 1-282-16918-1
- 9786612169182
- 0-08-093364-5
- OCLC:
- 437112416
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.