Textbooks & Readings
CS/Math 4860 - Fall 2016
Required Textbook
- First-Order Logic, Raymond M. Smullyan, 1968.
Despite its old age, this is the best available book on first-order logic.
Recommended
- Type Theory & Functional Programming, Simon Thompson.
- Computability & Logic, G.S. Boolos, R.C. Jeffrey, and J.P. Burgess.
- Logic for Applications, Anil Nerode and Richard Shore.
- Proofs and Refutations, Imre Lakatos.
Resources
See previous course web pages for CS/Math 4860: