TY - BOOK AU - Durr, Kael TI - Propositional logic of boerhius PY - 1951/// CY - AMSTERDAM PB - NORTH HLLAND PUBLISHING CO KW - MATHEMATICS ER -