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
Powered by AI (Beta)
Loading...

Description

"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particular, in Hilbert's program in the philosophy of mathematics, which called for a formalizat...

Read more

Community Reviews

Loading...

Content Warnings

Loading...