Proof methods for modal and intuitionistic logics
By: Melvin Fitting.
Series: Synthese library ;; v. 169
Publisher: D. Reidel; Sold and distributed in the U.S.A. and Canada by Kluwer Boston; Springer
Published: 1983
Place of publication: Dordrecht, Holland; Boston, U.S.A; Hingham, MA
Language: eng
Number of pages: 555
Subjects: Proof theory.; Modality (Logic); Intuitionistic mathematics.
Notes: Bibliography: p. 526-539.
Includes index.