Logique et méthodologie vol.2. Les fondements de la logique symbolique. 2. Justification des calculs logiques. - Hermann, 1938. - ( Actualités scientifiques et industrielles ; 593).