TY  - BOOK
AU  - Troelstra, A S.
TI  - Lectures on Linear Logic
SN  - 0 937073 77 6
CY  - USA
KW  - Logic, Symbolic and Mathematical
ER  -