George Boolos (Q1392740)
Philosopher and mathematical logician (1940-1996)
Language: