Proof methods for modal and intuitionistic logics
| Главный автор: | |
|---|---|
| Формат: | Print |
| Язык: | Английский |
| Слжба доставки Subito: | Заказать сейчас. |
| Проверить наличие: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Опубликовано: |
Dordrecht [u.a.]
Reidel
1983
|
| В: |
Synthese <Dordrecht> / Library (169)
Год: 1983 |
| Серии журналов/журналы: | Synthese <Dordrecht> / Library
169 |
| Нормированные ключевые слова (последовательности): | B
Модальная логика
/ Доказательство
B Интуиционистская логика / Доказательство B Модальная логика / Автоматическое доказательство |
| Другие ключевые слова: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Online-ссылка: |
Обложка Table of Contents (Publisher) |
| Примечание: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Объем: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 9027715734 |
