Št 13:10 - 15:25 (3 v.hod.) M-IX Prednáška Formálna sémantika a teória správnosti I. Prívara