Conference | Speakers | Profile
![104965](/images/creator/_default.jpg)
Yvon Gauthier
A note on the internal logic of constructive mathematics
2015
in: The road to universal logic II, Basel : Birkhäuser
![Open Access Link](/images/OAlink.png)
Hilbert and the internal logic of mathematics
1994
Synthese 101/1
![Open Access Link](/images/OAlink.png)
Logical & philosophical foundations for arithmetical logic
1990
in: Physicalism in mathematics, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
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
![Open Access Link](/images/OAlink.png)
Die Sprache und der andere Schauplatz
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
![Open Access Link](/images/OAlink.png)
Herméneutique philosophique et heuristique métaphysique
1968
in: Plenarsitzungen, Freiburg-Basel-Wien : Herder
![Open Access Link](/images/OAlink.png)