The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program (Q6470950)
From MaRDI portal
scientific article; zbMATH DE number 900007499
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program |
scientific article; zbMATH DE number 900007499 |
Statements
23 February 2001
0 references
math.LO
0 references
math.HO
0 references
