Po 8:10 - 10:25 (3 v.hod.) M-VII Prednáška Formálna sémantika a teória správnosti I. Prívara