Office Hours:
Main Textbook: Franz Baader and Tobias Nipkow, Term Rewriting
and All That. Cambridge, 1999.
Recommended books:
S.N. Burris, Logic for Mathematics and Computer Science. Pearson, 1998.
J. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving. Dover, 2003.
Course Outline