TY - BOOK AU - Newton, Smith W.H. TI - Logic: an introductory course SN - 0-415-04525-8 U1 - 160/NEW/L PY - 1990/// CY - PB - London: Routledge Publishers KW - Logic KW - Logic Language|Propositional language and Calculus|Elementary meta-theory-propositional calculus|A Predicate language|Logical analysis|The Theory of relations|Predicate Logic semantics N1 - 3651; Logic ER -