Beweren en Bewijzen
een eerstejaars cursus van Hanno Wupper, Hans Meijer, Stijn Hoppenbrouwers en Martijn Hendriks
Onderwijsinstituut voor Informatica en Informatiekunde
Radboud Universiteit Nijmegen