Introduction to Proof Theory

Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs

Deep cut – we couldn't find a description for this book.

Sign up to use