TY  - BOOK
AU  - Konyndyk,Kenneth
TI  - Introductory modal logic
SN  - 0-268-01159-1
PY  - 1986///
CY  - Notre Dame
PB  - University of Notre Dame Press
N1  - Бібліогр. : c. 131-133
ER  -