^ MARTIN LÖB (1921–2006) Archivado el 23 de diciembre de 2006 en Wayback Machine .
^ Marion, Mathieu (1998), Wittgenstein, el finitismo y los fundamentos de las matemáticas , Nueva York: Oxford University Press, pág. 205, ISBN 0-19-823516-X
^ Jervell, Herman Ruge (1996), "Reseña: Lecciones sobre lógica lineal de AS Troelstra", Journal of Symbolic Logic , 61 (1): 336–38, doi :10.2307/2275616, JSTOR 2275616, S2CID 117923544
^ Dyckhoff, Roy (1998), "Revisión: Teoría básica de la prueba por AS Troelstra; H. Schwichtenberg", Journal of Symbolic Logic , 63 (4): 1605–06, doi :10.2307/2586674, JSTOR 2586674, S2CID 118433941
^ "Anne Troelstra". Real Academia de las Artes y las Ciencias de los Países Bajos. Archivado desde el original el 14 de febrero de 2016. Consultado el 14 de febrero de 2016 .
^ "Anne Troelstra (1939-2019)". illc.uva.nl . Consultado el 13 de marzo de 2019 .
Enlaces externos
Página de inicio de AS Troelstra: Enlace inactivo - Archivado: Página de inicio de AS Troelstra: Recuperado el 27 de junio de 2018