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. 
Samuel R. Buss and Alexander S. Kechris and Anand Pillay and Richard   A. Shore