Martin Davis

Visitor
Research
Primary Research Area: 
Mathematical Logic
Research Interests: 
Logic, diophantine decision problems
Contact Information
731 Evans Hall
martin [at] eipye [dot] com