Media type: Book Title: Lectures on linear logic Contributor: Troelstra, Anne S. [Author] Published: Menlo Park, Calif.: Center for the Study of Language and Information, 1992 Published in: Stanford University: CSLI lecture notes ; 29 Extent: IX, 200 S.; graph. Darst Language: English ISBN: 0937073784; 0937073776 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik Origination: Footnote: Literaturverz. S. 191 - 196