### Advances in Linear Logic (London Mathematical Society Lecture Note Series) by Jean-Yves Girard

Category: E-Book

**Advances in Linear Logic (London Mathematical Society Lecture Note Series) by Jean-Yves Girard**

English | June 30, 1995 | ISBN: 0521559618 | 397 Pages | DJVU | 2 MB

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.

__DOWNLOAD LINKS:__

**Buy Premium To Support Me & Get Resumable Support & Max Speed**

*Links are Interchangeable - No Password - Single Extraction*

Comments