TY  - BOOK
AU  - Van Fraassen Bas C
TI  - Formal semantics and logic
U1  - R1, L11 
CY  - N.Y
PB  - The Macmillan Company     
ER  -