Lectures on linear logic
By: A.S. Troelstra.
Series: CSLI lecture notes ;; no. 29
Publisher: Center for the Study of Language and Information
Published: 1992
Place of publication: Stanford, CA
Language: eng
Number of pages: 200
Subjects: Logic, Symbolic and mathematical.
Other titles: Linear logic.
Notes: Includes bibliographical references (p. 191-196) and index.