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