Logic and discrete structures for computer scientists

Bachelor course, University of Bonn, 2007