TY  - BOOK
AU  - Hughes,G.E..
AU  - Cresswell,M.J..
TI  - A companion to modal logic / 
U1  - 160 
KW  - LOGIC
N1  - NULL
ER  -