Repository | People

154967

References

Richard Zach

The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program

2003

Synthese 137/1-2

Open Access Link
Carnap's early metatheory: scope and limits

2017

with Schiemer Georg, Reck Erich

Synthese 194/1

Open Access Link