TY - BOOK AU - Basson, A H TI - Introduction to Symbolic Logic U1 - N14 PY - 1965/// CY - London PB - University Tutorial Press N1 - includes index and biblioraphy; Introductory...............1 The calculus Propositions ..............16 The Axiomatic Method.............64 Elements of the Predicate Calculus..........99 Further Developments....................126 ER -