Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
MathematicsShowing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
2021, Oxford University Press
in English
0192895931 9780192895936
|
zzzz
Libraries near you:
WorldCat
|
2
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
2021, Oxford University Press
in English
019289594X 9780192895943
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?September 28, 2021 | Created by ImportBot | import new book |