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

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