Logique. T. 2, Raisonnements la logistique - Sesmat, Augustin (Paris : Hermann, 1951)