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