Sergio Galvan

1 book

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Richard Zach, Sergio Galvan, Paolo Mancosu

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

Richard Zach, Sergio Galvan, Paolo Mancosu

432 pages • missing pub info (editions)

challenging informative reflective medium-paced