Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 33
Number of items: 33
  • Troelstra, A. S. (2005). Historische inleiding. In H. A. Lorentz (Ed.), Zwarte mensen, witte bergen: verhaal van een tocht naar het Sneeuwgebergte van Nieuw-Guinea (pp. 13-43). (Klassieke reizen; No. 8). Atlas.
  • Troelstra, A. S. (2005). Proof Theory and Constructive Mathematics. In Mathematics: History,Concepts, and Foundations, from /Encyclopedia of Life Support Systems (EOLSS) Eolss Publishers.
  • Troelstra, A. S. (2004). Tijgers op de Ararat. Atlas.
  • Troelstra, A. S. (2004). Vriendenboek ofwel liber amicorum ter gelegenheid van het afscheid van Dick de Jongh. Institute for Logic, Language and Computation.
  • Troelstra, A. S. (2001). Honderd jaar keuzenrijen. Verslagen van de Afdeling Natuurkunde van de KNAW, 110, 223-227.
  • Open Access
    Iemhoff, R. (2001). Provability Logic and Admissible Rules. [Thesis, fully internal, Universiteit van Amsterdam].
  • Open Access
    Sasaki, K. (2001). Logic and Provability. [Thesis, externally prepared, Universiteit van Amsterdam].
  • Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory (ed. 2). Cambridge University Press.
  • Open Access
    van Ulsen, P. (2000). E.W. Beth als logicus. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC dissertation series 2000-04.
  • Troelstra, A. S. (1999). From constructivism to computer science. Theoretical Computer Science, 211, 233-252. https://doi.org/10.1016/S0304-3975(97)00172-2
Page 2 of 4