libcats.org
Главная

Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Обложка книги Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Advances in Linear Logic (London Mathematical Society Lecture Note Series)

, ,
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: