Filozofická Fakulta

Katedra logiky

Aktuality

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

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