Book Propositional Logic Of Boethius 1951