Repository | Directory | Profile
Yvon Gauthier
(1990-1999)
XHilbert and the internal logic of mathematics
1994
Synthese 101/1

Logical & philosophical foundations for arithmetical logic
1990
in: Physicalism in mathematics, Dordrecht : Springer
