See Jean-Yves Girard, *Linear Logic* (1987) and A.S.Troelstra, [*Lectures on Linear Logic*](http://www.amazon.com/Lectures-Linear-Center-Language-Information/dp/0937073776) (1992).

See also in *SEP* the entry on [Linear Logic](http://plato.stanford.edu/entries/logic-linear/).