Proof methods for modal and intuitionistic logics
主要作者: | |
---|---|
格式: | 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) |