CMPSC 209 - Logic and Applications in Computer Science
Propositional logic, first order logic, completeness, compactness, incompleteness, undecidability; selected topics from finite model theory, theorem proving, logic programming, program verification, databases, computational complexity.
Jianwen Su
2.1