TY  - BOOK
AU  - Hughes G E
AU  -  Creeswell M J
TI  - Introduction to model logic
U1  - R1, K8 
PY  - 1968///
CY  - London
PB  - Methuen UK      
KW  - LOGIC
ER  -