Substructural Logics (книга)
| Substructural Logics | |
| Автор: | Peter Schroeder-Heister Kosta Dosen |
|---|---|
| Оригинал издан: | 1994 |
«Substructural Logics» — книга 1994 года.
Содержание |
Содержание 
От издателя
«Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
