Ein formales Modell der Syllogistik des Aristoteles - Ebbinghaus, Kurt (Vandenhoeck & Ruprecht, 1964)