CiNiiで詳細を確認

このページのURL

この文献を取り寄せる

<図書>
Proof methods for modal and intuitionistic logics / Melvin Fitting
(Synthese library ; v. 169)

出版者 Dordrecht, Holland ; Boston, U.S.A. : D. Reidel
出版者 Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Boston
出版年 c1983
大きさ viii, 555 p. ; 23 cm
本文言語 英語
書誌ID 2004324597
NCID BA0107471X WCLINK

所蔵情報を非表示

理数学図

08322017883

9027715734

書誌詳細を非表示

一般注記 Bibliography: p. 526-539
Includes index
著者標目 *Fitting, Melvin Chris
件 名 LCSH:Proof theory
LCSH:Modality (Logic)
LCSH:Intuitionistic mathematics
分 類 LCC:QA9.54
DC19:511.3
巻冊次 ISBN:9027715734