Proof methods for modal and intuitionistic logics

Saved in:  
Bibliographic Details
Published in:Synthese <Dordrecht> / Library
Main Author: Fitting, Melvin 1942- (Author)
Format: Print Book
Language:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: Dordrecht [u.a.] Reidel 1983
In: Synthese <Dordrecht> / Library (169)
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
Inhaltsverzeichnis (Verlag)