The propositional logic of Boethius - Dürr, Karl (North-Holland Publishing Company, 1951)