Logic, Master's Programme H2LOG