Theoretical

1. An Introduction to the Theory of Computation  (site info) An online text aimed at advanced undergraduate and graduate students. http://www.cis.ohio-state.edu/~gurari/theory-bk/th... 2. Computability Logic  (site info) Main web source on the subject: overview, downloadable articles, links. http://www.cis.upenn.edu/~giorgi/cl.html 3. Theory of Computation  (site info) Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. http://www.cs.bu.edu/fac/lnd/toc/ 4. Church-Turing Thesis  (site info) Wikipedia article. http://en.wikipedia.org/wiki/Church-Turing_thesis 5. Computability Theory  (site info) Wikipedia article. http://en.wikipedia.org/wiki/Computability_theory 1-5 of 7. Next »