William W. Tait

12 papers Journal 11
YearRankTypeTitle / Venue / Authors
2012 — ch.
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections.
Epistemology versus Ontology
William W. Tait
2006 J jnl
Proof-theoretic Semantics for Classical Mathematics.
Synth.
William W. Tait
2005 J jnl
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation.
Bull. Symb. Log.
William W. Tait
2003 J jnl
The completeness of Heyting first-order logic.
J. Symb. Log.
William W. Tait
1983 J jnl
Against intuitionism: Constructive mathematics is part of classical mathematics.
J. Philos. Log.
William W. Tait
1981 J jnl
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
J. Symb. Log.
Daniel Halpern, William W. Tait, John T. Baldwin
1978 J jnl
Meeting of the Association for Symbolic Logic: Chicago, 1977.
J. Symb. Log.
Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
1976 J jnl
Meeting of the Association for Symbolic Logic.
J. Symb. Log.
John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
1967 J jnl
Intensional Interpretations of Functionals of Finite Type I.
J. Symb. Log.
William W. Tait
1965 J jnl
Functionals Defined by Transfinite Recursion.
J. Symb. Log.
William W. Tait
1965 J jnl
The Substitution Method.
J. Symb. Log.
William W. Tait
1959 J jnl
A Counterexample to a Conjecture of Scott and Suppes.
J. Symb. Log.
William W. Tait