Počet záznamů: 1
Consistency and games - in search of new combinatorial principles
SYS 0039356 LBL 01601^^^^^2200301^^^450 005 20240103182553.9 100 $a 20060906d m y slo 03 ba 101 0-
$a eng $d eng $d cze 102 $a US 200 1-
$a Consistency and games - in search of new combinatorial principles 215 $a 38 s. 463 -1
$1 001 cav_un_epca*0076572 $1 010 $a 1-56881-293-0 $1 200 1 $a Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic $v s. 244-281 $1 210 $a Wellesley $c Association for Symbolic Logic $d 2006 $1 225 $a Lecture Notes in Logic $v 24 $1 702 1 $a Stoltenberg-Hansen $b V. $4 340 $1 702 1 $a Väänänen $b J. $4 340 541 1-
$a Bezespornost a hry - hledání nových kombinatorických principů $z cze 610 0-
$a independent sentences 610 0-
$a peano arithmetic 610 0-
$a bounded arithmetic 700 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $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