Source: wikibot/martin-davis-mathematician

= Martin Davis (mathematician)
{wiki=Martin_Davis_(mathematician)}