TY  - BOOK
AU  - Hughess ,G,.E  .
TI  - An introduction to Model logic / 
SN  - 041629460x
U1  - 160 
PY  - 1968///
CY  - London  : 
PB  - Methuen  , 
KW  - MODEL LOGIC
N1  - Includes bibliography and index
ER  -