Martin David Davis
Redirect to:
Martin Davis (mathematician)