|
Search the dblp DataBase
William W. Tait:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- John T. Baldwin, Donald A. Martin, Robert I. Soare, William W. Tait
Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1976, v:41, n:2, pp:551-560 [Journal]
- Daniel Halpern, William W. Tait, John T. Baldwin
Meeting of the Association for Symbolic Logic: Biloxi, 1979. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1981, v:46, n:1, pp:191-198 [Journal]
- Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti
Meeting of the Association for Symbolic Logic: Chicago, 1977. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1978, v:43, n:3, pp:614-619 [Journal]
- William W. Tait
The completeness of Heyting first-order logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2003, v:68, n:3, pp:751-763 [Journal]
- William W. Tait
A Counterexample to a Conjecture of Scott and Suppes. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1959, v:24, n:1, pp:15-16 [Journal]
- William W. Tait
Functionals Defined by Transfinite Recursion. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1965, v:30, n:2, pp:155-174 [Journal]
- William W. Tait
The Substitution Method. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1965, v:30, n:2, pp:175-192 [Journal]
Search in 0.001secs, Finished in 0.001secs
|