Judson Webb
(1990-1999)
XReconstruction from recollection and the refutation of idealism
1992
Synthese 93/1-2
Tracking contradictions in geometry
1995
in: From Dedekind to Gödel, Dordrecht : Springer
Hilbert's formalism and arithmetization of mathematics
1997
Synthese 110/1