Deletion of William w tait

Comment: I found six different articles on logic topics here that already cite his papers (see "what links here" for his article, as I've gone through and wikilinked the citations). That seems enough for a keep based on Wikipedia:Build the web, and it seems very likely from Eastmain's Google scholar results above (especially the 300+ citations to the intensional functionals paper) that he also passes 
Stance: keep
Cited policy: Wikipedia:Notability (WP:PROF)

Comment: and expand. Tait is a famous logician, so much so that his last name alone is enough to identify him to those in the field. He was the inventor of what is now called "Logical relations", a strong method for proving termination of typed lambda calculus|lambda calcului. We learned about him in grad school. Being professor emeritus at a place like University of Chicago should be enough to qualify someone via  anyway. &mdash;&nbsp
Stance: keep
Cited policy: Wikipedia:Notability (WP:PROF)