Filozofická Fakulta

Katedra logiky

Aktuality

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

26. duben 2017

Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné...
22. duben 2017

NadpisFlow of Time in BST/BCont Models and Related Semantical Observations
Publication TypeMiscellaneous
Year2012
AuthorsŠvarný, P.
PřílohaVelikost
pdf preprint309.76 KB