TY  - BOOK
AU  - Snyder,D.Paul
TI  - Modal logic and its applications
PY  - 1971///
CY  - New York
PB  - Van Nostrand Reinhold Company
N1  - Бібліогр. : c. 325, Index
ER  -