Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 33
Number of items: 33
  • Troelstra, A. S. (1999). Marginalia on sequent calculi. Studia Logica, 62, 291-303.
  • Artemov, S., Kushner, B., Mints, E., Nogina, E., & Troelstra, A. S. (1999). In Memoriam: Albert G. Dragalin, 1941-1998. The Bulletin of Symbolic Logic, 5, 389-391. https://doi.org/10.1017/S1079898600006934
  • Troelstra, A. S. (1998). Marginalia on the sequent calculus. (ML-1998; No. 01). WINS (oud WINS).
  • Troelstra, A. S. (1998). Concepts and Axioms. In Philosophia Mathematica, series 3 (pp. 195-208). (-; No. -).
  • Troelstra, A. S. (1998). Realizability. In S. Buss (Ed.), Handbook of proof theory (pp. ---). (-; No. -). North-Holland/ Elsevier.
  • Troelstra, A. S. (1996). Choice sequences: a retrospect. CWI Quarterly, 9(1-2), 143-149.
  • Troelstra, A. S., & Schwichtenberg, H. (1996). Basic Proof Theory. Cambridge University Press.
  • Troelstra, A. S. (1995). Structurele Bewijstheorie. Verslagen van de Afdeling Natuurkunde van de KNAW, 104(7), 113-117.
  • Open Access
    Troelstra, A. S. (1995). Natural deduction for intuitionistic linear logic. Annals of Pure and Applied Logic, 73, 79-108. https://doi.org/10.1016/0168-0072(93)E0078-3
  • Troelstra, A. S. (1994). Tutorial on linear logic. In P. Schroeder-Heister, & K. Dusen (Eds.), Substructural logics (pp. 327-355). Springer Verlag.
Page 3 of 4