CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
First-order modal logic / Melvin Fitting and Richard L. Mendelsohn
(Synthese library ; v. 277)

出版者 Dordrecht ; Boston : Kluwer Academic
出版年 c1998
大きさ xii, 287 p. : ill. ; 25 cm
本文言語 英語
書誌ID 2003301771
NCID BA38849556 WCLINK

所蔵情報を非表示

情コンアルゴ設計

12600112192

079235334X

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *Fitting, Melvin Chris
Mendelsohn, Richard L.
件 名 LCSH:Modality (Logic)
分 類 LCC:BC199.M6
DC21:160
巻冊次 ISBN:079235334X