-
RecordNumber
95628
-
Author
Fitting, Melvin, 1942-
-
Title
Proof methods for modal and intuitionistic logics
-
Author Statement
Melvin Fitting
-
Publication
Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston
-
Publication Year
c1983
-
Collation
viii, 555 p.
-
Series
Synthese library ;179
-
Index
Includes index
-
Bibliography
Bibliography: p. 526-539
-
Subject
Proof theory , Modality (Logic) , Intuitionistic mathematics
-
Main Class
511
-
Sub Class
.3
-
Cutter no
F547p
-
واردكننده اطلاعات
ربابه صمدي علي نيا
-
Link To Document :
