Konkrétní temata budou upřesněny vždy na začátku semestru.
Pokracovani semináře AIL056 Logický seminář I
