Introduction to Logic and Recursion Theory
Library Home || Full Table of Contents || 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|
© 1994- The Math Forum at NCTM. All rights reserved.