This course will introduce the basic concepts and techniques of First-Order Predicate Logic. You can get a fairly good sense of the content of the course if you check the Table of Content from the textbook’s website (we will try to cover the first 13 chapters — with some sections skipped).