. Summa logicae. 1974