Number of the records: 1
Kreisel's conjecture with minimality principle
SYS 0337050 LBL 01154^^^^^2200265^^^450 005 20240103192900.4 014 $a 000269571100013 $2 WOS 100 $a 20100119d m y slo 03 ba 101 0-
$a eng $d eng 102 $a US 200 1-
$a Kreisel's conjecture with minimality principle 215 $a 13 s. 463 -1
$1 001 cav_un_epca*0257123 $1 011 $a 0022-4812 $e 1943-5886 $1 200 1 $a Journal of Symbolic Logic $v Roč. 74, č. 3 (2009), s. 976-988 $1 210 $c Cambridge University Press 541 1-
$a Kreiselova domněnkas principem minimality $z cze 610 0-
$a Peano arithmetic 610 0-
$a length of proof 610 0-
$a Kreisel's conjecture 700 -1
$3 cav_un_auth*0258893 $a Hrubeš $b Pavel $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i.
Number of the records: 1