Výsledky vyhledávání
- From Frege to Gödel : a source book in mathematical logic, 1879-1931 / Jean van Heijenoort. San Jose : toExcel, [2000] ©2000 . viii, 664 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Gödel 1931 : gnoseologická revoluce v matematice a exaktních vědách / František Včelař, Jaroslav Frýdek, Ivan Zelinka. Praha : BEN - technická iteratura, 2009 . 274 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Gödel's proof / Ernest Nagel and James R. Newman. London ; New York : Routledge, 2005 . 94 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 - Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu Douglas R. Hofstadter ; [z anglického originálu ... přeložil Rostislav Niederle]. V Brně : Vutium, Vysoké učení technické ; 2003 . 126 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 Z 2 0 0 0 0 0 - Meze formalizace, analytičnosti a prostoročasu / [Tomáš] Čana ... [et al. ; k vydání připravil Vladimír Havlík]. Praha : Filosofia, 2007 . 301 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 Z 1 0 0 1 0 0