The Gallery
Mathematical logic
Leon Henkin
Petr Hájek
Reuben Louis Goodstein
Robin Gandy
Haim Gaifman
Harvey Friedman
Solomon Feferman
Michael A. E. Dummett
Martin Davis
William Craig
John Corcoran
S. Barry Cooper
Paul Joseph Cohen
Alonzo Church
Lewis Carroll
Paul Bernays
John Lane Bell
James Earl Baumgartner
Jon Barwise
Henk Barendregt
Peter B. Andrews
Wilhelm Ackermann
