William W. Tait
(2010-2019)
X(2012). Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections. In P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.) Epistemology versus ontology (pp. 161-180). Dordrecht: Springer.