Počet záznamů: 1
Interpretability in PRA
- 1.
SYSNO 0332835 Název Interpretability in PRA Překlad názvu Interpretovatelnost v PRA Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
De Jongh, D. (NL)
Joosten, J.J. (NL)Zdroj.dok. Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. - : Elsevier Druh dok. Článek v odborném periodiku Grant GA401/06/0387, CZ - Česká republika IAA900090703 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova interpretability * arithmetic * primitive recursive arithmetic * interpretability logic Trvalý link http://hdl.handle.net/11104/0177966
Počet záznamů: 1