Propositional logic of boethius - Durr Karl (Amsterdam North-Holland, 1951)
Keywords: Mathematical logic; Propositional logic