Počet záznamů: 1  

Kreisel's conjecture with minimality principle

  1. SYS0337050
    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.
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.