Sign in
Join Literal
Introduction to Proof Theory
Paolo Mancosu
Want to read
Sign up to use
Paolo Mancosu
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu,
Richard Zach,
Sergio Galvan
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Deep cut – we couldn't find a description for this book.
1
want to read
Discover more books like Introduction to Proof Theory
