First-order modal logic / Melvin Fitting and Richard L. Mendelsohn
(Synthese library ; v. 277)
データ種別 | 図書 |
---|---|
著者標目 | *Fitting, Melvin, 1942- Mendelsohn, Richard L. |
出版者 | Dordrecht ; Boston : Kluwer Academic |
出版年 | c1999 |
書誌詳細を非表示
巻次 | : pbk ; ISBN:0792353358 |
---|---|
大きさ | xii, 287 p. ; 24 cm |
本文言語 | 英語 |
一般注記 | Includes bibliographical references(p. 277-281) and index |
件 名 | LCSH:Modality (Logic) |
分 類 | LCC:BC199.M6 DC21:160 |
書誌ID | 1000094115 |
ISBN | 0792353358 |
NCID | BA43420500 |