Search
Hilbert
Plato
(2000-2009)
2005
with Schlimm Dirk
Synthese 147/1
2008
with Field Clinton
in: Deduction, computation, experiment, Dordrecht : Springer
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
