Greetings Fellow Sagers.

Wanted to share this anyone who might find it helpful.

http://online.stanford.edu/course/language-proof-and-logic