A Counterexample to a Conjecture of Scott and Suppes. - William W. Tait (J. Symb. Log., 1959)

Functionals Defined by Transfinite Recursion. - William W. Tait (J. Symb. Log., 1965)

The Substitution Method. - William W. Tait (J. Symb. Log., 1965)

Intensional Interpretations of Functionals of Finite Type I. - William W. Tait (J. Symb. Log., 1967)

Meeting of the Association for Symbolic Logic. - John T. Baldwin 001; Donald A. Martin; Robert I. Soare; William W. Tait (J. Symb. Log., 1976)

Meeting of the Association for Symbolic Logic: Chicago, 1977. - Carl G. Jockusch Jr.; Robert I. Soare; William W. Tait; Gaisi Takeuti (J. Symb. Log., 1978)

Meeting of the Association for Symbolic Logic: Biloxi, 1979. - Daniel Halpern; William W. Tait; John T. Baldwin 001 (J. Symb. Log., 1981)

Against intuitionism: Constructive mathematics is part of classical mathematics. - William W. Tait (J. Philos. Log., 1983)

The completeness of Heyting first-order logic. - William W. Tait (J. Symb. Log., 2003)

Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. - William W. Tait (Bull. Symb. Log., 2005)

Proof-theoretic Semantics for Classical Mathematics. - William W. Tait (Synth., 2006)

Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections. - William W. Tait (Epistemology versus Ontology, 2012)