The Gallery Mathematical logic Jean van Heijenoort Sofya Yanovskaya Richard Zach John Worrall Philip Welch William W. Tait Thomas Scanlon Rohit Jivanlal Parikh Peter Koellner Carol Karp Burton Dreben William Craig Richard Boyd Dorothy Maud Wrinch Jan Łukasiewicz Hao Wang Robert Lawson Vaught Vladimir Uspensky Alfred Tarski Dimiter Skordev Thoralf Skolem Saharon Shelah Kurt Schütte Ernst Schröder 1 2 3 4