Ein formales Modell der Syllogistik des Aristoteles. - Ebbinghaus, Kurt (Hypomnemata, 1964)