Počet záznamů: 1
Recenze
SYS 0405311 LBL 00846^^^^^2200217^^^450 005 20240103181849.4 017 $a 10.1007/BF02985422 $2 DOI 100 $a 20060519d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Recenze 215 $a 3 s. 463 -1
$1 200 1 $a The Mathematical Intelligencer $v Roč. 26, č. 4 (2004), s. 64-66 $1 011 $a 1866-7414 470 -1
$1 200 1 $a Gentzens Problem. Mathematische Logik im Nationalsozialistischen Deutschland. Basel, Birkhauser Verlag 2001, 411 p. ISBN 3-7643-6574-9 $1 101 $a ger $1 700 1 $4 070 $a Menzel-Trott $b E. 610 0-
$a Getzen 700 -1
$3 cav_un_auth*0100752 $4 070 $a Hájek $b Petr $p UIVT-O $T Ústav informatiky AV ČR, v. v. i. 701 -1
$a van Dalen $b D. $y NL
Počet záznamů: 1