William W. Tait
(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, Dordrecht, Springer, pp. 161-180.
(2006). Proof-theoretic semantics for classical mathematics. Synthese 148 (3), pp. 603-622.
(1995)., Extensional equality in the classical theory of types, in W. Depauli Schimanovich, E. Köhler & F. Stadler (eds.), The foundational debate, Dordrecht, Springer, pp. 219-234.
(1993). Some recent essays in the history of the philosophy of mathematics: a critical review. Synthese 96 (2), pp. 293-331.
(). The locus of grammatical-logical norms in Wittgenstein's account of meaning and understanding. Deutsches Jahrbuch Philosophie 3, pp. 150-169.