Introduction to Logic and Recursion Theory
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Notes from a class taught by Prof. Sacks at M.I.T. in the spring of 1998, organized and reinterpreted. Propositional Calculus; First-Order Logic; Towards Completeness and Consistency; Recursion Theory – compare this to Sipser’s Computation, Part II; Clarity is of the essence; Post's Problem.|
|Resource Types:||Course Notes|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.