Počet záznamů: 1  

Interpretability in PRA

  1. SYS0332835
    LBL
      
    00941^^^^^2200217^^^450
    005
      
    20240103192431.6
    014
      
    $a 000271342500003 $2 WOS
    014
      
    $a 70349432210 $2 SCOPUS
    017
    7-
    $a 10.1016/j.apal.2009.05.012 $2 DOI
    100
      
    $a 20090402d m y slo 03 ba
    101
    0-
    $a eng
    102
      
    $a NL
    200
    1-
    $a Interpretability in PRA
    215
      
    $a 11 s.
    463
    -1
    $1 001 cav_un_epca*0256135 $1 011 $a 0168-0072 $e 1873-2461 $1 200 1 $a Annals of Pure and Applied Logic $v Roč. 161, č. 2 (2009), s. 128-138 $1 210 $c Elsevier
    541
    1-
    $a Interpretovatelnost v PRA $z cze
    610
    0-
    $a interpretability
    610
    0-
    $a arithmetic
    610
    0-
    $a primitive recursive arithmetic
    610
    0-
    $a interpretability logic
    700
    -1
    $3 cav_un_auth*0218529 $a Bílková $b Marta $p UIVT-O $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i.
    701
    -1
    $3 cav_un_auth*0229252 $a De Jongh $b D. $y NL
    701
    -1
    $3 cav_un_auth*0221278 $a Joosten $b J.J. $y NL
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.