The Gallery
Proof theory
Richard Zach
Thomas Scanlon
Rohit Jivanlal Parikh
Walter Carnielli
Sergei N. Artemov
Kurt Schütte
Sara Negri
Grigori Mints
Martin Löb
Georg Kreisel
Dick de Jongh
Stanisław Jaśkowski
William Alvin Howard
David Hilbert
Jean-Yves Girard
Harvey Friedman
Solomon Feferman
Wilhelm Ackermann
George Boolos
T. M. Scanlon
Gerhard Gentzen
Jacques Herbrand
1