Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки