TY  - BOOK
AU  - Basson,A.H., O'Connor
AU  - x
TI  - Introduction to symbolic logic: x
SN  - x
U1  - 160/BAI 
PY  - 1983///
CY  - Calcutta
PB  - O.U.P.
KW  - Logic
N1  - x
ER  -