TY - BOOK AU - Nidditch P H TI - Propositional calculus U1 - 517 PY - 1962/// CY - London PB - Routledge and Kegan Paul KW - Calculus ER -