1 option
Basic proof theory / A.S. Troelstra, H. Schwichtenberg.
Math/Physics/Astronomy Library QA9.54 .T76 2000
Available
- Format:
- Book
- Author/Creator:
- Troelstra, A. S. (Anne Sjerp)
- Series:
- Cambridge tracts in theoretical computer science ; 43.
- Cambridge tracts in theoretical computer science ; 43
- Language:
- English
- Subjects (All):
- Proof theory.
- Physical Description:
- xii, 417 pages : illustrations ; 23 cm.
- Edition:
- Second edition.
- Place of Publication:
- Cambridge ; New York : Cambridge University Press, 2000.
- Summary:
- Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
- Notes:
- Includes bibliographical references (pages 379-403) and index.
- ISBN:
- 0521779111
- OCLC:
- 44652575
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.