# Resource request: linear logic

Is there any correct book/textbook/pdf to understand what is linear logic ? I do research in (standard) logic/model theory, so I'm totally ok with a text which assumes mathematical maturity.

• See e.g.Jean-Yves Girard, Linear logic Theoretical Computer Science (1987) as well as Anne Troelstra, Lectures on Linear Logic CSLI (1992). Apr 4 '17 at 11:50