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