A. S. Troelstra

theory（页面存档备份，存于互联网档案馆）. Carnegie-Mellon Technical Report CMU-PHIL-120. A. S. Troelstra, H. Schwichtenberg. Basic Proof Theory (Cambridge Tracts in Theoretical

Lithuanian). Calculationes Suiseth Anglici (in Lithuanian). 1498.  A. S. Troelstra（英语：A. S. Troelstra） & H. Schwichtenberg（英语：Helmut Schwichtenberg） (2000). Basic

红豆树 Ormosia hosiei Hemsl. & E. H. Wilson. 中国植物物种信息数据库. [2013-01-15].  Anne S. Troelstra. Bibliography of Natural History Travel Narratives. 2016: 210. 

可决定的），否则没有证明。可以通过归纳建造起更复杂的算法。 Troelstra, A. "History of Constructivism in the Twentieth Century". 1991. [1] Troelstra, A. "Constructivism and Proof Theory"

苏天辅（中国，1922年－2017年） 塔斯基（波兰，1902年－1983年） Pavel Tichy（捷克斯拉夫，1936年－1994年） Anne Sjerp Troelstra（荷蘭，1939年－） 阿兰·图灵（英国，1912年－1954年） Kazimierz Twardowski（波蘭，1866年－1938年）