Sign in
Hidden fields
Advanced Book Search
Books
Books
An Introduction to Proof Theory: Normalization, Cut-Elimination, and ...
Paolo Mancosu
,
Sergio Galvan
,
Richard Zach
-
Proof theory
- 2021 -
432 pages
No preview available
-
About this book
An Introduction to Proof Theory: Normalization, Cut-Elimination, and ...
Paolo Mancosu
-
Electronic books
- 2021 -
431 pages
No preview available
-
About this book
Advanced Book Search
My library
Help
Advanced Book Search