TY  - BOOK
AU  - Makinson D C
TI  - Topics in modern logic
U1  - R1, L3 
PY  - 1973///
CY  - London
PB  - Methuen & Co.     
KW  - LOGIC
ER  -