TY - BOOK AU - Goldrei,Derek ED - SpringerLink (Online service) TI - Propositional and Predicate Calculus A Model of Argument SN - 9781846282294 (electronic bk.) AV - QA9.3 .G65 2005 U1 - 511.3 22 PY - 2005/// CY - London PB - Springer-Verlag London Limited KW - Propositional calculus KW - Problems, exercises, etc KW - Predicate calculus KW - Mathematics KW - Mathematical Logic and Foundations UR - https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/1-84628-229-2 ER -