St	8:10 - 9:40 (2 v.hod.) A	Prednáška	1-INF-210	Úvod do matematickej logiky	E. Toman