Troelstra, A S.
Lectures on Linear Logic - USA Center for the study of language and information 1992 - 200 - CSLI Lecture Notes, 29 .
0 937073 77 6
Logic, Symbolic and Mathematical
510.6 TRO
Lectures on Linear Logic - USA Center for the study of language and information 1992 - 200 - CSLI Lecture Notes, 29 .
0 937073 77 6
Logic, Symbolic and Mathematical
510.6 TRO