TY  - GEN
AU  - Fitting,Melvin
AU  - Mendelsohn,Richard L
TI  - First-order modal logic
SN  - 079235334X (HB : alk. paper)
U1  - 510.6 
PY  - 1998///
CY  - Dordrecht, Boston
PB  - Kluwer Academic
KW  - Modality (Logic)
N1  - Cuprinde Bibliografie
ER  -