Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Department of Theoretical Computer Science, Institute of Computer Science,
...

26. květen 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