Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news

Bude mluvit Anna Horská na téma "Gentzen's cut elimination strategy and Tait's cut elimination strategy in propositional sequent calculus". Přednáška začíná v 16:30, Celetná 20. Abstrakt viz sekce Věda a výzkum, Seminář.

Datum platnosti: 
5. prosinec 2016