DU MÊME AUTEUR
L’arc et le cercle. L’essence du langage chez Hegel et Hölderlin, Desclée de
Brouwer/Bellarmin, Paris/Montréal, 1969.
Fondements des mathématiques. Introduction à une philosophie constructiviste,
Presses de l’Université de Montréal, Montréal, 1976.
Méthodes et concepts de la logique formelle, Presses de l’Université de Montréal,
Montréal, 1978, 2e éd., revue, corrigée et augmentée, 1981.
éorétiques. Pour une philosophie constructiviste des sciences, Le Préambule,
Longueuil, 1982.
De la logique interne, Vrin, Paris, 1991.
La logique interne des théories physiques, Vrin/Bellarmin, Paris/Montréal,
1992.
La philosophie des sciences. Une introduction critique, Presses de l’Université de
Montréal, Montréal, 1995.
Logique et fondements des mathématiques, Diderot , Paris, 1997, 2e édition,
2000.
Logique interne. Modèles et applications, Diderot/Modulo, Paris/Montréal,
1997.
Internal Logic. Foundations of Mathematics from Kronecker to Hilbert, Kluwer,
“Synthese Library”, Dordrecht/Boston/London, 2002.
La logique du contenu. Sur la logique interne, l’Harmattan, Paris, 2004.
Entre science et culture. Introduction à la philosophie des sciences, Presses de
l’Université de Montréal, Montréal, 2005.
Logique arithmétique. L'arithmétisation de la logique, collection « Logique de
la science », Presses de l’Université Laval, Québec, 2010.