Martin Davis

Visiting Scholar
Research
Primary Research Area: 
Mathematical Logic
Research Interests: 
Logic, diophantine decision problems
Contact Information
731 Evans Hall
eipye [at] pacbell [dot] net