H. P.
Grice

Oxford






Stanisław
Leśniewski

University of Warsaw


Alfred
Tarski

UC Berkeley


Robert Lawson
Vaught

UC Berkeley (MathTree)


Jack H.
Silver

UC Berkeley (MathTree)

John
Burgess

Princeton
(Options)

John BurgessX