Richard Zach
2 Publications
Carnap's early metatheory
scope and limits
2017
Synthese 194 (1)
The practice of finitism
epsilon calculus and consistency proofs in Hilbert's program
2003
Synthese 137
2 Publications
2 Publications
scope and limits
Synthese 194 (1)
epsilon calculus and consistency proofs in Hilbert's program
Synthese 137
2 Publications