Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Computability Theory

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.nd.edu/~cholak/computability/

Author:Peter Cholak
Description: 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.

Levels: Research
Languages: English
Resource Types: Mailing Lists, Link Listings, Bibliographies
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.