Počet záznamů: 1
Witnessing functions in bounded arithmetic and search problems
SYS 0174593 LBL 00000nam^^22^^^^^^^^450 005 20240103175212.6 101 0-
$a eng 102 $a US 200 1-
$a Witnessing functions in bounded arithmetic and search problems 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č. 63, č. 3 (1998), s. 1095-1115 $1 210 $c Cambridge University Press 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0041347 $a Chiari $b M. $y IT $4 070
Počet záznamů: 1