, 2015, A note on the internal logic of constructive mathematics: the gel"fond-schneider theorem in transcendental number theory, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic II, Basel, Birkhäuser, pp. 297-306.
, 2002, Internal logic: foundations of mathematics from Kronecker to Hilbert, Springer, Dordrecht.
, 1995, Internal logic: a radically constructive logic for mathematics and physics, in M. Marion & R. S. Cohen (eds.), Québec studies in the philosophy of science, part I, Dordrecht, Springer, pp. 107-122.
, 1994, 'Hilbert and the internal logic of mathematics', Synthese 101 (1), 1-14.
, 1990, Logical & philosophical foundations for arithmetical logic, in A. D. Irvine (ed.), Physicalism in mathematics, Dordrecht, Springer, pp. 331-342.
, 1975, 'La théorie de toutes les théories est-elle possible?', Dialogue 14, 81-87.
, 1974, 'Constructivisme et structuralisme dans les fondements des mathématiques', Philosophiques 1 (1), 83-105.
, 1969, Die Sprache und der andere Schauplatz: Über die sprachtheorie Lacans, in L. Gabriel (Hrsg.), Sektionen I-IV, Freiburg-Basel-Wien, Herder, pp. 412-413.
, 1968a, Herméneutique philosophique et heuristique métaphysique, in , Plenarsitzungen, Freiburg-Basel-Wien, Herder, pp. 327-332.