Formales Modell der Syllogistik des Aristoteles / Kurt Ebbinghaus. Göttingen : Vandenhoeck und Ruprecht, 1964