Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section «Notes et références».
Il a défendu la logique intuitionniste (mot qu'il écrivait résolument avec un seul n), à une époque où elle était presque unanimement négligée, et avant que l'informatique lui permette un retour en force. Mais à l'inverse d'une tradition remontant à Arend Heyting, il refusait de réduire l'intuitionnisme à son formalisme, et préconisait un retour, non seulement à la technique intuitionniste, mais plus fondamentalement à sa philosophie. Les considérations « métaphysiques » de Luitzen Egbertus Jan Brouwer, généralement considérées avec amusement ou condescendance (par exemple, à l'époque actuelle, par le logicien Jean-Yves Girard), lui paraissaient essentielles à l'intuitionnisme.
Logique et philosophie chez Frege, Paris, éditions Nauwelaerts, 1970
Enquête sur le nominalisme, Paris, Publications de la faculté des lettres et sciences humaines de Paris-Sorbonne, série "Recherches", tome 65; éditions Nauwelaerts, 1971
Ouvrage couronné par l'académie des sciences morales et politiques.