VBTL 5/6 - module Predicatenlogica (D-Gevorderde wiskunde) door