Fitting, Melvin. Mendelsohn, Richard L.
First Order Modal Logic - Boston Kluwer - 287 - Synthese Library, Vol. 277 .
0 7923 5334 X
Modal Logic
510.6 FIT
First Order Modal Logic - Boston Kluwer - 287 - Synthese Library, Vol. 277 .
0 7923 5334 X
Modal Logic
510.6 FIT