First-order modal logic
Saved in:
Main Authors : | , |
---|---|
Format : | Book |
Language : | anglais |
Title statement : | First-order modal logic / by Melvin Fitting and Richard L. Mendelsohn |
Published : |
Dordrecht, Boston (Mass.) :
Kluwer Academic
, 1998 |
Physical Description : | XII-287 p |
Series : | Synthese Library ; 277 |
Titre de l'ensemble : | Synthese library vol. 277 |
Subjects : |
Bibliography : | Bibliogr. : p. 277-281. Index |
---|---|
ISBN : | 0-7923-5334-X 0-7923-5335-8 |