Primitive recursive arithmetic and its role in the foundations of arithmetic

historical and philosophical reflections

2012

William W. Tait

in: Epistemology versus ontology, Berlin,

The locus of grammatical-logical norms in Wittgenstein's account of meaning and understanding

2012

William W. Tait

Deutsches Jahrbuch Philosophie 3

Proof-theoretic semantics for classical mathematics

2006

William W. Tait

Synthese 148 (3)

Extensional equality in the classical theory of types

1995

William W. Tait

in: The foundational debate, Berlin,

Some recent essays in the history of the philosophy of mathematics

A critical review

1993

William W. Tait

Synthese 96 (2)