Library Home || Full Table of Contents || Suggest a Link || Library Help
|A resource for computability theorists. Includes a Bibliographic Database for Computability Theory; Open Questions in Recursion Theory: LaTeX or dvi; a link to the Association for Symbolic Logic; and links to pages of people who work (or have worked) in computability theory.|
|Resource Types:||Mailing Lists, Link Listings, Bibliographies|
|Math Topics:||Logic/Foundations, Computer Science|
© 1994- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.