Počet záznamů: 1
Incompleteness in the finite domain
SYS 0487354 LBL 01000a^^22220027750^450 005 20240103215710.5 014 $a 85047437041 $2 SCOPUS 014 $a 000431007900002 $2 WOS 017 $a 10.1017/bsl.2017.32 $2 DOI 100 $a 20180302d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Incompleteness in the finite domain 215 $a 37 s. 463 -1
$1 001 cav_un_epca*0252195 $1 011 $a 1079-8986 $e 1943-5894 $1 200 1 $a Bulletin of Symbolic Logic $v Roč. 23, č. 4 (2017), s. 405-441 $1 210 $c Cambridge University Press 610 $a finite domain 700 -1
$3 cav_un_auth*0100699 $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $4 070 $a Pudlák $b Pavel $p MU-W $y CZ $z K $T Matematický ústav AV ČR, v. v. i. 856 $u https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/incompleteness-in-the-finite-domain/D239B1761A73DCA534A4805A76D81C76
Počet záznamů: 1