Proof methods for modal and intuitionistic logics
發表在: | Synthese <Dordrecht> / Library |
---|---|
主要作者: | |
格式: | Print 圖書 |
語言: | English |
Subito Delivery Service: | Order now. |
Check availability: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
出版: |
Dordrecht [u.a.]
Reidel
1983
|
In: |
Synthese <Dordrecht> / Library (169)
|
叢編: | Synthese <Dordrecht> / Library
169 |
Standardized Subjects / Keyword chains: | B
模態邏輯
/ 證據
B 直觉主义逻辑 / 證據 B 模態邏輯 / Automatisches Beweisverfahren |
Further subjects: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
在線閱讀: |
Cover Inhaltsverzeichnis (Verlag) |
Item Description: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
---|---|
ISBN: | 9027715734 |