1 option
An introduction to proof theory : normalization, cut-elimination, and consistency proofs / Paolo Mancosu, Sergio Galvan, Richard Zach.
- Format:
- Book
- Author/Creator:
- Mancosu, Paolo, author.
- Zach, Richard, author.
- Galvan, Sergio, 1946- author.
- Series:
- Oxford scholarship online.
- Oxford scholarship online
- Language:
- English
- Subjects (All):
- Proof theory.
- Physical Description:
- 1 online resource (431 pages)
- Edition:
- First edition.
- Place of Publication:
- New York, New York : Oxford University Press, [2021]
- Summary:
- 'An Introduction to Proof Theory' provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
- Notes:
- This edition also issued in print: 2021.
- Includes bibliographical references and index.
- Description based on print version record.
- ISBN:
- 0-19-193879-3
- 0-19-264929-9
- OCLC:
- 1263028565
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.