Skip to main content

Digital Book An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Page 1

Turn static files into dynamic content formats.

Create a flipbook
Digital Book An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by abshireiiiii - Issuu