You need to sign in or sign up before continuing.

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

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

Sergio Galvan, Richard Zach, Paolo Mancosu

432 pages missing pub info (view 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...