Library Home || Full Table of Contents || 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- The Math Forum at NCTM. All rights reserved.