William W. Tait

Publication Activity (10 Years)

Years Active: 1959-2006
Publications (10 Years): 0

Publications

William W. Tait
Proof-theoretic Semantics for Classical Mathematics. Synth. 148 (3) (2006)
William W. Tait
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. Bull. Symb. Log. 11 (2) (2005)
William W. Tait
The completeness of Heyting first-order logic. J. Symb. Log. 68 (3) (2003)
William W. Tait
Against intuitionism: Constructive mathematics is part of classical mathematics. J. Philos. Log. 12 (2) (1983)
Daniel Halpern, William W. Tait, John T. Baldwin
Meeting of the Association for Symbolic Logic: Biloxi, 1979. J. Symb. Log. 46 (1) (1981)
Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
Meeting of the Association for Symbolic Logic: Chicago, 1977. J. Symb. Log. 43 (3) (1978)
John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
Meeting of the Association for Symbolic Logic. J. Symb. Log. 41 (2) (1976)
William W. Tait
Intensional Interpretations of Functionals of Finite Type I. J. Symb. Log. 32 (2) (1967)
William W. Tait
Functionals Defined by Transfinite Recursion. J. Symb. Log. 30 (2) (1965)
William W. Tait
The Substitution Method. J. Symb. Log. 30 (2) (1965)
William W. Tait
A Counterexample to a Conjecture of Scott and Suppes. J. Symb. Log. 24 (1) (1959)