An edition of Introduction to Proof Theory
(2021)
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
by Paolo Mancosu, Sergio Galvan, and Richard Zach
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Mathematics| Edition | Availability |
|---|---|
1
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
2021, Oxford University Press
in English
0192895931 9780192895936
|
zzzz
|
2
Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
2021, Oxford University Press
in English
019289594X 9780192895943
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| September 28, 2021 | Created by ImportBot | import new book |