Textbooks & Readings
CS/Math 4860 - Fall 2016

Required Textbook

Despite its old age, this is the best available book on first-order logic.

Recommended

Resources

See previous course web pages for CS/Math 4860:

Readings