The prospects for mathematical logic in the twenty-first century

Simple item page
dc.creatorBuss, Samuel R.
dc.creatorKechris, Alexander S.
dc.creatorPillay, Anand
dc.creatorShore, Richard A.
dc.date2002-05-03
dc.date.accessioned2026-07-07T03:18:22Z
dc.date.available2026-07-07T03:18:22Z
dc.descriptionThe 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.
dc.descriptionAssociation for Symbolic Logic
dc.identifierhttps://arxiv.org/abs/cs/0205003
dc.identifierhttp://arxiv.org/abs/cs/0205003
dc.identifierBulletin of Symbolic Logic 7 (2001) 169-196
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31087
dc.subjectLogic in Computer Science
dc.subjectA.1;F.0;I.2.0
dc.titleThe prospects for mathematical logic in the twenty-first century
dc.typetext

Files

Collections

arXiv