TY - BOOK AU - Durr K TI - Propositional logic of Boethius U1 - R1xD48:9, J1 PY - 1951/// ER -