Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 33
Number of items: 33
  • Troelstra, A. S. (1994). Tutorial on linear logic. In P. Schroeder-Heister, & K. Dusen (Eds.), Substructural logics (pp. 327-355). Springer Verlag.
  • Zambella, D. (1994). Chapters on bounded arithmetic & on provability logic. [Thesis, fully internal, Universiteit van Amsterdam].
  • Schellinx, H. A. J. M. (1994). The noble art of linear decorating. [Thesis, fully internal, Universiteit van Amsterdam].
Page 4 of 4