Cavaillès, Jean <br/><br/>
La non-contradiction de l'arithmétique / 
Par Jean Cavaillès. 
 - Paris :  Hermann & Cie, Éditeurs,  1938. 
 - 131 p. 
 - Actualités scientifiques et industrielles ;  610 Progrès de l'esprit ;  XI Méthode axiomatique et formalisme ;  III .