CS 507, Logic In Computer Science
Purandar Bhaduri, ext: 2360, email: pbhaduri.
CS203 (Discrete Maths), CS301 (Formal Languages and Automata Theory)
Reference Books and Other Sources
in Computer Science: Modelling and Reasoning about Systems, M. Huth and M. Ryan,
2. First-order Logic and automated theorem proving, M. Fitting, Springer-Verlag, 1990.
3. Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series) Jean H. Gallier, John Wiley & Sons; (January 1986). An online version is available here.
4. Logics of Time and Computation, Robert Goldblatt, CSLI Lecture Notes, Vol. 7, 1987. Available for free download from here.
2. Tutorial on Sebastiani in CADE 2003. by Roberto