Formal Methods in Mathematics

EC	8
Location	Utrecht University
Weeks	6 - 21
Lecture	Thursday, 10:00 - 12:45
Provider	Logic (Logica), Discrete Mathematics, Algebra and Number Theory (Diamant)
Links	Course page (requires login)