Le progrès de l'Esprit vol. 11. Méthode axiomatique et formalisme vol.3: La non-contradiction de l'arithmétique. - Hermann, 1938. - ( Actualités scientifiques et industrielles ; 610).