1 “... trained a team of researchers that included some of the most important logicians and philosophers...”

2 “.... The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit...”