File:Martin davis.jpg

Martin Davis portrait