Počet záznamů: 1
Interpretability in PRA
SYS 0332835 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