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

NadpisInterpretability in PRA
Publication TypeJournal Article
AuthorsBílková, M., D. de Jongh, and J. J. Joosten
URLhttp://www.sciencedirect.com/science/article/B6TYB-4WKJ58T-1/2/06453c2478030936de1ad92ca5afbc3d
Klíčová slovaArithmetic interpretability, Interpretability logic, Primitive recursive arithmetic
Stránky128–138
Number2
Volume161
Year2009
PublisherElsevier
JournalAnnals of Pure and Applied Logic
DOI10.1016/j.apal.2009.05.012
PřílohaVelikost
pdf preprint228.88 KB