The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
From MaRDI portal
Publication:6470950
arXivmath/0102189MaRDI QIDQ6470950
Publication date: 23 February 2001
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
03F03: Proof theory in general (including proof-theoretic semantics)