The prospects for mathematical logic in the twenty-first century

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
Association for Symbolic Logic

Keywords

Logic in Computer Science, A.1;F.0;I.2.0

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/31087

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0205003
 http://arxiv.org/abs/cs/0205003
 Bulletin of Symbolic Logic 7 (2001) 169-196

Collections

arXiv