Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Miha Habić bude mluvit na téma. Prediction principles in set theory: It's OK to guess.
...

11. listopad 2017

Bílková M. Monotone sequent calculus and resolution. Comment. Math. Univ. Carolinae. 2001;42(3):575-82.