Yvon Gauthier
Herméneutique philosophique et heuristique métaphysique
1968
in: Plenarsitzungen, Freiburg-Basel-Wien : Herder
Die Sprache und der andere Schauplatz
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
Constructivisme et structuralisme dans les fondements des mathématiques
1974
Philosophiques 1/1
La théorie de toutes les théories est-elle possible?
1975
Dialogue 14
Logical & 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