The prospects for mathematical logic in the twenty-first century
<|reference_start|>The prospects for mathematical logic in the twenty-first century: The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.<|reference_end|>
@article{buss2002the,
    title={The prospects for mathematical logic in the twenty-first century},
    author={Samuel R. Buss and Alexander S. Kechris and Anand Pillay and Richard
  A. Shore},
    journal={Bulletin of Symbolic Logic 7 (2001) 169-196},
    year={2002},
    archivePrefix={arXiv},
    eprint={cs/0205003},
    primaryClass={cs.LO}
}