Lectures on linear logic /
Troelstra, A. S.(Anne Sjerp)
Stanford, CA : Center for the Study of Language and Information,
1992.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.