AboutSign inJoin
Introduction to Proof Theory

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

Paolo Mancosu, Richard Zach, Sergio Galvan — 2022

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

Sign up to use