Po 9:00 - 11:15 (3 v.hod.) M-VI Prednáška Formálna sémantika a teória správnosti I. Prívara