Proof methods for modal and intuitionistic logics

Saved in:
Bibliographic Details
Main Author: Fitting, Melvin 1942-
Format: Print Book
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
Published: Dordrecht [u.a.] Reidel 1983
In:Synthese <Dordrecht> / Library
Series/Journal:Synthese <Dordrecht> / Library 169
Standardized Subjects / Keyword chains:B Modal logic / Proof
B Intuitionistic logic / Proof
B Modal logic / Automatic theorem proving
Further subjects:B Modality (Logic)
B modality (logic)
B Proof theory
B institutionistic mathematics
B Intuitionistic mathematics
Online Access: Cover
Table of Contents
Table of Contents
Item Description:Literaturverz. S. 526 - 539