Le progrès de l'Esprit vol. 9. Méthode axiomatique et formalisme vol.1: Le problème du fondement des mathématiques. - Hermann, 1938. - ( Actualités scientifiques et industrielles ; 608).