Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

There are not any news
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