First-order modal logic

First-order modal logic

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Fitting Melvin Chris (Auteur), Mendelsohn Richard L. (Auteur)
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 :
Modalité (logique)
LEADER 01124cam a2200337 4500
001 PPN04770098X
005 20240314171700.0
010 |a 0-7923-5334-X  |b HB : papier neutre 
010 |a 0-7923-5335-8  |b pbk. : papier neutre 
035 |a sib1439933 
035 |a lc98037504 
100 |a 19991007d1998 k y0frey0103 ba 
101 0 |a eng 
102 |a NL 
105 |a y ||||001cy 
106 |a r 
200 1 |a First-order modal logic  |b Texte imprimé  |f by Melvin Fitting and Richard L. Mendelsohn 
210 |a Dordrecht  |a Boston (Mass.)  |c Kluwer Academic  |d 1998 
215 |a XII-287 p  |d 25 cm 
225 1 |a Synthese library  |v 277 
320 |a Bibliogr. : p. 277-281. Index 
410 | |9 2770  |0 039111717  |t Synthese Library  |x 0166-6991  |v 277 
606 |3 PPN027413942  |a Modalité (logique)  |2 rameau 
700 1 |3 PPN032597754  |a Fitting  |b Melvin Chris  |f 1942-....  |4 070 
701 1 |3 PPN075971062  |a Mendelsohn  |b Richard L.  |f 1944-....  |4 070 
801 3 |a FR  |b Abes  |c 20040120  |g AFNOR 
801 3 |a FR  |b SF  |c 20040120  |g AFNOR 
930 |5 441092102:196714168  |b 441092102  |a 160 FIT  |j u 
979 |a LET 
979 |a PHILO 
998 |a 3210