TY  - BOOK
AU  - Snyder,D.P.
TI  - MODAL LOGIC AND ITS APLLICATIONS
U1  - 164 
PY  - 1971///
CY  - 
PB  - 
ER  -