Madhavan Mukund and S P Suresh
These are lecture notes for an introductory course on logic aimed at graduate students in Computer Science. The notes cover techniques and results from propositional logic, modal logic, propositional dynamic logic and first-order logic. The notes are based on a course taught to first year PhD students at Chennai Mathematical Institute during August--December, 1997.
These notes owe their current form to S P Suresh who wrote the sections on Dynamic Logic and First-Order Logic and also dressed up the original vanilla version in fancy new clothes.