Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

The traditional festive meeting of the department & friends of logic will take place...

11. prosinec 2017

jsou z důvodu dovolené sekretariát a knihovna uzavřeny

11. prosinec 2017

V současné době přecházíme na nové stránky http://logic.ff.cuni.cz, které jsou primárně v...

29. listopad 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