William W. Tait
Artikeln
XProof-theoretic semantics for classical mathematics
2006
Synthese 148/3
Some recent essays in the history of the philosophy of mathematics
1993
Synthese 96/2
The locus of grammatical-logical norms in Wittgenstein's account of meaning and understanding
Deutsches Jahrbuch Philosophie 3