×
  • An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

    Paolo Mancosu Sergio Galvan Richard Zach

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read