Conceptions of Proof from Aristotle to Gentzen’s Calculi
scientific article; zbMATH DE number 7543884