Number of the records: 1
Gödel, Truth and Proof
SYS 0308906 LBL 02560^^^^^2200277^^^450 005 20240111140702.4 100 $a 20080610d m y slo 03 ba 101 0-
$a eng 102 $a CZ 200 1-
$a Gödel, Truth and Proof 215 $a 10 s. $c www 463 -1
$1 001 cav_un_epca*0420613 $1 011 $a 1742-6588 $e 1742-6596 $1 200 1 $a Journal of Physics: Conference Series $v -, č. 82 (2007), s. 1-10 $1 210 $c Institute of Physics Publishing 541 1-
$a Gödel, pravda a důkaz $z cze 610 0-
$a Gödel 610 0-
$a incompleteness of arithmetic 610 0-
$a proof vs. truth 700 -1
$3 cav_un_auth*0107139 $a Peregrin $b Jaroslav $p FLU-F $w Department of Logic $4 070 $T Filosofický ústav AV ČR, v. v. i. 856 $q textový soubor $u http://www.iop.org/EJ/toc/1742-6596/82/1 $s 382 KB
Number of the records: 1