Premaster formele technieken 1: discrete wiskunde en logica door H.P.E. Vranken