Proof methods for modal and intuitionistic logics. (English) Zbl 0523.03013

Synthese Library, Vol. 169. Dordrecht - Boston - Lancaster: D. Reidel Publishing Company. VIII, 555 p. $ 65.00; Dfl. 150.00 (1983).


03B45 Modal logic (including the logic of norms)
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03C35 Categoricity and completeness of theories
03F05 Cut-elimination and normal-form theorems