dblp.uni-trier.dewww.uni-trier.de

William W. Tait

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1John T. Baldwin [4] [6]
2Daniel Halpern [6]
3Carl G. Jockusch Jr. [5]
4Donald A. Martin [4]
5Robert I. Soare [4] [5]
6Gaisi Takeuti [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)