TY  - BOOK
AU  - Fitting, Melvin.
AU  - Mendelsohn, Richard L.
TI  - First Order Modal Logic
SN  - 0 7923 5334 X
CY  - Boston
KW  - Modal Logic
ER  -