Interpretability in PRA

Bílková Marta



Název
Interpretability in PRA
Překlad názvu
Interpretovatelnost v PRA
Autor
lupa Bílková Marta UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa De Jongh D.
lupa Joosten J.J.
Zdroj.dok.
lupa Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. - : Elsevier
Vyd.údaje
11 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0177966