William W. Tait
Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections![Open Access Link](images/OAlink.png)
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Proof-theoretic semantics for classical mathematics![Open Access Link](images/OAlink.png)
2006
Synthese 148/3
![Open Access Link](images/OAlink.png)
Extensional equality in the classical theory of types![Open Access Link](images/OAlink.png)
1995
in: The foundational debate, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Some recent essays in the history of the philosophy of mathematics: a critical review![Open Access Link](images/OAlink.png)
1993
Synthese 96/2
![Open Access Link](images/OAlink.png)
The locus of grammatical-logical norms in Wittgenstein's account of meaning and understanding
Deutsches Jahrbuch Philosophie 3