Record:   Prev Next
作者 Fitting, Melvin, 1942-
書名 Proof methods for modal and intuitionistic logics / Melvin Fitting
出版項 Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1983
國際標準書號 9027715734
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 F547    在架上    30330000043963
 歐美所圖書館3F西文書區  511.3 F564pr    在架上    30500100505885
 數學所圖書室  QA9.54 F57    在架上    30340200196438
說明 viii, 555 p. ; 24 cm
系列 Synthese library ; v. 169
附註 Bibliography: p. 526-539
Includes index
主題 Proof theory
Modality (Logic)
Intuitionistic mathematics
Modal logic iis
Record:   Prev Next