|
Computability Theory

Library Home ||
Full Table of Contents ||
Suggest a Link ||
Library Help

| http://www.nd.edu/~cholak/computability/ | |
|
|
|
| Peter Cholak | |
| 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]


© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel University School of Education.