Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Troelstra, Anne S. und Sammlung = ULB Düsseldorf
  • Titelblatt
    Lectures on linear logic
    Troelstra, Anne S.
    1. [Dr.], Menlo Park, Calif. [u.a.] : CSLI, Center for the Study of Language and Information, 1992