Title: Traité de logique
Subtitle: essai de logistique opératoire
First published: 1949
Subjects: Logique symbolique et mathématique, Logique
LC classification: BC'135'P65