"Advances in Linear Logic (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Jean-Yves Girard, Yves Lafont, Laurent Regnier)