Offered by Stanford University. This course is an introduction to Logic from a computational perspective. It shows how to encode information ... Enroll for free.