First-order modal logic
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | First-order modal logic / by Melvin Fitting and Richard L. Mendelsohn |
Publié : |
Dordrecht, Boston (Mass.) :
Kluwer Academic
, 1998 |
Description matérielle : | XII-287 p |
Collection : | Synthese Library ; 277 |
Titre de l'ensemble : | Synthese library vol. 277 |
Sujets : |
Chargement en cours