Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Výuka Klasické logiky I 16. a 17.10. z důvodu pracovní cesty odpadá. M. Bílková.

15. říjen 2017

byla umluvena na Pondělí 14:10 do učebny 119b. První přednáška proběhne v pondělí 9. října.

06. říjen 2017

začínají až ve Čt 12.10. (učebna 137, 15:00).
04. říjen 2017

NadpisOn interpretability in the theory of concatenation
Publication TypeJournal Article
AuthorsŠvejdar, V.
URLhttp://projecteuclid.org/euclid.ndjfl/1232375164
Klíčová slovaconcatenation essential undecidability Interpretability Robinson arithmetic
Stránky87–95
Number1
Volume50
Year2009
PublisherUniversity of Notre Dame
JournalNotre Dame Journal of Formal Logic
DOI10.1215/00294527-2008-029
PřílohaVelikost
pdf preprint182.3 KB