TY  - BOOK
AU  - Fitting Melvin
AU  - Mendelsohn Richard L
TI  - First-order modal logic
SN  - 0-7923-5334-X
U1  - 160 
PY  - 1998///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Modality(Logic)
ER  -