TY - RPRT TI - The prospects for mathematical logic in the twenty-first century AU - Samuel R. Buss AU - Alexander S. Kechris AU - Anand Pillay AU - Richard A. Shore PY - 2002 UR - https://arxiv.org/abs/cs/0205003 ID - cs/0205003 ER -