Logic in Computer Science - FIB - Fall 2013 - View it on GitHub