Textbook
CS6860 - Fall 2015

Textbook

• Simon Thompson, Type Theory & Functional Programming, 1999.

Readings

• From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931.
• Mathematical Logic, Stephen Cole Kleene.
• First-Order Logic, Raymond M. Smullyan.
• Formulas of Propositional Logic, Raymond M. Smullyan.
• Transformation rules, from Introduction to Metamathematics by Stephen Cole Kleene.