The prospects for mathematical logic in the twenty-first century (2001)

by Samuel R Buss, Alexander A Kechris, Anand Pillay, Richard A Shore
Venue:Bulletin of Symbolic Logic