The prospects for mathematical logic in the twenty-first century

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/31087The 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.Association for Symbolic LogicLogic in Computer ScienceA.1;F.0;I.2.0The prospects for mathematical logic in the twenty-first centurytext