Repository | Directory | Profile
Yvon Gauthier
A note on the internal logic of constructive mathematics
2015
in: The road to universal logic II, Basel : Birkhäuser

Hilbert and the internal logic of mathematics
1994
Synthese 101/1

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

La théorie de toutes les théories est-elle possible?
1975
Dialogue 14
Constructivisme et structuralisme dans les fondements des mathématiques
1974
Philosophiques 1/1

Die Sprache und der andere Schauplatz
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder

Herméneutique philosophique et heuristique métaphysique
1968
in: Plenarsitzungen, Freiburg-Basel-Wien : Herder
