TY  - GEN
AU  - Basson, A.H.
AU  - O'Connor, D.J.
TI  - Introduction to symbolic logic
U1  - 511.3 
PY  - 1953///
CY  - Delhi
PB  - Oxford University press
KW  - Mathematical logic
ER  -