Proof methods for modal and intuitionistic logics
| Опубликовано в: : | Synthese <Dordrecht> / Library |
|---|---|
| Главный автор: | |
| Формат: | Print |
| Язык: | Английский |
| Слжба доставки Subito: | Заказать сейчас. |
| Проверить наличие: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Опубликовано: |
Dordrecht [u.a.]
Reidel
1983
|
| В: |
Synthese <Dordrecht> / Library (169)
|
| Серии журналов/журналы: | Synthese <Dordrecht> / Library
169 |
| Нормированные ключевые слова (последовательности): | B
Модальная логика
/ Доказательство
B Интуиционистская логика / Доказательство B Модальная логика / Автоматическое доказательство |
| Другие ключевые слова: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Online-ссылка: |
Обложка Inhaltsverzeichnis (Verlag) |
| Примечание: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| ISBN: | 9027715734 |