The Gallery
Computer Science
Georg Kreisel
Dov Gabbay
Michael Fourman
Kit Fine
Jon Michael Dunn
Haskell Curry
Alonzo Church
Henk Barendregt
Douglas Hofstadter
Valentin Turchin
Gilbert Harman
Kieron O'Hara
Augustus De Morgan
Hilary Putnam
Alan Turing
1
2