Nantilus
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 : |
Loading