Proof methods for modal and intuitionistic logics

Saved in:  
书目详细资料
主要作者: Fitting, Melvin 1942- (Author)
格式: Print 图书
语言:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
WorldCat: WorldCat
Interlibrary Loan:Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany)
出版: Dordrecht [u.a.] Reidel 1983
In: Synthese <Dordrecht> / Library (169)
Year: 1983
丛编:Synthese <Dordrecht> / Library 169
Standardized Subjects / Keyword chains:B 模态逻辑 / 证据
B Intuitionistische Logik / 证据
B 模态逻辑 / Automatisches Beweisverfahren
Further subjects:B Modality (Logic)
B modality (logic)
B Proof theory
B institutionistic mathematics
B Intuitionistic mathematics
在线阅读: Cover
Table of Contents (Publisher)