Proof methods for modal and intuitionistic logics
| Main Author: | |
|---|---|
| Format: | Print Book |
| Language: | English |
| Subito Delivery Service: | Order now. |
| Check availability: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Published: |
Dordrecht [u.a.]
Reidel
1983
|
| In: |
Synthese <Dordrecht> / Library (169)
Year: 1983 |
| 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 (Publisher) |
| Item Description: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Physical Description: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 90-277-1573-4 |
