Počet záznamů: 1
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
SYS 0361226 LBL 00813^^^^^2200181^^^450 005 20240103195346.5 014 $a 84899989559 $2 SCOPUS 017 7-
$a 10.1017/CBO9780511974236.017 $2 DOI 100 $a 20110727d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Gödel's Ontological Proof and its Variants 215 $a 15 s. $9 544 463 -1
$1 001 cav_un_epca*0361225 $1 010 $a 978-0-521-76144-4 $1 200 1 $a Kurt Gödel and the Foundations of Mathematics: Horizons of Truth $v S. 307-321 $1 210 $a Cambridge $c Cambridge University Press $d 2011 $1 702 1 $a Baaz $b M. $4 340 $1 702 1 $a Papadimitriou $b C.H. $4 340 $1 702 1 $a V $b H.W. $4 340 $1 702 1 $a Scott $b D.S. $4 340 $1 702 1 $a Harper $b C.L. $4 340 610 0-
$a ontological proof 610 0-
$a Gödel 700 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1