TY  - BOOK
AU  - Troelstra,A.S.
TI  - Lectures on linear logic
SN  - 0937073784
PY  - 1992///
CY  - Stanford, Calif.
PB  - Center for the Study of Language and Information
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index; Contents : Sequent calculus for linear logic--Some elemenatry synthatic results
ER  -