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

seeders:
leechers:
updated:
Added by in >