Angus J. Macintyre

Mathematiker