TY  - BOOK
AU  - Snyder D Paul
TI  - Modal logic and its applications
U1  - R193, L1 
PY  - 1971///
CY  - New York  
PB  -  Van Nostrand Reinhold    
ER  -