1 option
Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (editor).
Math/Physics/Astronomy Library QA9.47 .M48 1993
By Request
- Format:
- Book
- Series:
- ILLC prepublication series ; X-93-05.
- ILLC prepublication series ; X-93-05
- Language:
- English
- Subjects (All):
- Intuitional mathematics.
- Proof theory.
- Model theory.
- Physical Description:
- xv, 492 pages : illustrations ; 30 cm.
- Edition:
- Second, corrected edition.
- Place of Publication:
- Amsterdam : Institute for Logic, Language and Computation, 1993.
- Notes:
- Includes bibliographical references (page 462 - 475) and index.
- OCLC:
- 28651169
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.