RecordNumber

95628

Author

Fitting, Melvin, 1942-

Title

Proof methods for modal an​d intuitionistic logics

Author Statement

Melvin Fitting

Publication

Dordrecht, Holland ; Boston, U.S.A. : D. Reidel ; Hingham, MA : Sold an​d distributed in the U.S.A. an​d 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

واردكننده اطلاعات

ربابه صمدي علي نيا