Yvon Gauthier
in English
XA note on the internal logic of constructive mathematics
2015
in: The road to universal logic II, Basel : Birkhäuser
1995
in: Québec studies in the philosophy of science, part I, Dordrecht : Springer
Hilbert and the internal logic of mathematics
1994
Synthese 101/1
Logical & philosophical foundations for arithmetical logic
1990
in: Physicalism in mathematics, Dordrecht : Springer