We stand with Ukraine  

William W. Tait

Affiliations:
  • Department of Philosophy, University of Chicago, Chicago, IL, USA


According to our database1, William W. Tait authored at least 12 papers between 1959 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2012
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections.
[BibTeX]
[DOI]
William W. Tait
Proceedings of the Epistemology versus Ontology, 2012

2006
Proof-theoretic Semantics for Classical Mathematics.
[BibTeX]
[DOI]
William W. Tait
Synth., 2006

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

2003
The completeness of Heyting first-order logic.
[BibTeX]
[DOI]
William W. Tait
J. Symb. Log., 2003

1983
Against intuitionism: Constructive mathematics is part of classical mathematics.
[BibTeX]
[DOI]
William W. Tait
J. Philos. Log., 1983

1981
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
[BibTeX]
[DOI]
Daniel Halpern
,
William W. Tait
,
John T. Baldwin
J. Symb. Log., 1981

1978
Meeting of the Association for Symbolic Logic: Chicago, 1977.
[BibTeX]
[DOI]
Carl G. Jockusch Jr.
,
Robert I. Soare
,
William W. Tait
,
Gaisi Takeuti
J. Symb. Log., 1978

1976
Meeting of the Association for Symbolic Logic.
[BibTeX]
[DOI]
John T. Baldwin
,
Donald A. Martin
,
Robert I. Soare
,
William W. Tait
J. Symb. Log., 1976

1967
Intensional Interpretations of Functionals of Finite Type I.
[BibTeX]
[DOI]
William W. Tait
J. Symb. Log., 1967

1965
The Substitution Method.
[BibTeX]
[DOI]
William W. Tait
J. Symb. Log., 1965

Functionals Defined by Transfinite Recursion.
[BibTeX]
[DOI]
William W. Tait
J. Symb. Log., 1965

1959
A Counterexample to a Conjecture of Scott and Suppes.
[BibTeX]
[DOI]
William W. Tait
J. Symb. Log., 1959


  Loading...