Logic in Computer Science - FIB - Fall 2013