Počet záznamů: 1
Induction rules in bounded arithmetic
SYS 0523579 LBL 01000a^^22220027750^450 005 20240103223933.1 014 $a 85075128463 $2 SCOPUS 014 $a 000495931600001 $2 WOS 017 $a 10.1007/s00153-019-00702-w $2 DOI 100 $a 20200402d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a Induction rules in bounded arithmetic 215 $a 41 s. 463 -1
$1 001 cav_un_epca*0256186 $1 011 $a 0933-5846 $e 1432-0665 $1 200 1 $a Archive for Mathematical Logic $v Roč. 59, č. 3-4 (2020), s. 461-501 $1 210 $c Springer 610 $a bounded arithmetic 610 $a parameter-free induction 700 -1
$3 cav_un_auth*0219256 $a Jeřábek $b Emil $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $4 070 $z K $T Matematický ústav AV ČR, v. v. i. 856 $u https://link.springer.com/article/10.1007%2Fs00153-019-00702-w $9 RIV
Počet záznamů: 1