TY  - BOOK
AU  - Fitting, Melvin
AU  - Mendelsohn, Richard L., co-aut.
TI  - First-order modal logic
T2  - Synthese library
VL  - 277
SN  - 0-7923-5334-X
PY  - 1998///
CY  - Dordrecht, NL, Boston, London
PB  - Kluwer Academic Publishers
KW  - Modalidade (Lógica)
KW  - BC199
ER  -