| 2003 |
|---|
| 7 | | William W. Tait:
The completeness of Heyting first-order logic.
J. Symb. Log. 68(3): 751-763 (2003) |
| 1981 |
|---|
| 6 | | Daniel Halpern,
William W. Tait,
John T. Baldwin:
Meeting of the Association for Symbolic Logic: Biloxi, 1979.
J. Symb. Log. 46(1): 191-198 (1981) |
| 1978 |
|---|
| 5 | | 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): 614-619 (1978) |
| 1976 |
|---|
| 4 | | John T. Baldwin,
Donald A. Martin,
Robert I. Soare,
William W. Tait:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 41(2): 551-560 (1976) |
| 1965 |
|---|
| 3 | | William W. Tait:
Functionals Defined by Transfinite Recursion.
J. Symb. Log. 30(2): 155-174 (1965) |
| 2 | | William W. Tait:
The Substitution Method.
J. Symb. Log. 30(2): 175-192 (1965) |
| 1959 |
|---|
| 1 | | William W. Tait:
A Counterexample to a Conjecture of Scott and Suppes.
J. Symb. Log. 24(1): 15-16 (1959) |
