Eigenpoll : Compare courses : Introduction to Logic

Introduction to Logic
Michael Genesereth

In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

https://www.coursera.org/course/intrologic