Computer Laboratory - Matej Urbas

Logic and Proof

Course material can be found here.