Lectures on linear logic - Troelstra, Anne S. 1939-2019 (Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes, 1992)