Logic for Computer Scientists

(summer semester 2017-2018, moodle)