The propositional logic of Boethius - Dürr, Karl (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 1951)