Počet záznamů: 1  

Interpretability in PRA

  1. 1.
    SYSNO0332835
    NázevInterpretability in PRA
    Překlad názvuInterpretovatelnost 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
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova interpretability * arithmetic * primitive recursive arithmetic * interpretability logic
    Trvalý linkhttp://hdl.handle.net/11104/0177966
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.