Introduction to Symbolic Logic
- London University Tutorial Press 1965
- 175p
includes index and biblioraphy
Introductory...............1 The calculus Propositions ..............16 The Axiomatic Method.............64 Elements of the Predicate Calculus..........99 Further Developments....................126