TY  - BOOK
AU  - Cresswell M J
TI  - Logic and languages
U1  - R1, L3 
PY  - 1973///
CY  - London
PB  - Methuen       
ER  -