Počet záznamů: 1
New Studies in Weak Arithmetics
SYS 0422148 LBL 01333^^^^^2200217^^^450 005 20240103203547.4 100 $a 20140103d m y slo 03 ba 101 0-
$a eng $d eng 102 $a US 200 1-
$a Randomness, pseudorandomness and models of arithmetic 215 $a 18 s. $c P $9 221 $8 500 463 -1
$1 001 cav_un_epca*0422147 $1 010 $a 978-1-57586-723-6 $1 200 1 $a New Studies in Weak Arithmetics $v S. 199-216 $1 205 $a 1. $1 210 $a Stanford $c Center for the Study of Language and Information $d 2013 $1 225 $a CSLI Lecture Notes $v vol. 211 $1 702 1 $a Cégielski $b P. $4 340 $1 702 1 $a Cornaros $b Ch. $4 340 $1 702 1 $a Dimitracopoulos $b C. $4 340 610 0-
$a pseudorandomness 610 0-
$a number theory 700 -1
$3 cav_un_auth*0100699 $a Pudlák $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