Search results
- Filosofické eseje / Kurt Gödel ; vybral a uspořádal J. Fiala ; [z anglických a německých originálů přeložil Jiří Fiala]. Praha : OIKOYMENH, 1999 . 220 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 1 0 0 1 0 0 Z 1 0 0 0 0 0 book
- 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 book
- From Frege to Gödel : a source book in mathematical logic, 1879-1931 / Jean van Heijenoort. Cambridge, MA ; London : Harvard University Press, 1967 . viii, 664 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 0 0 0 1 0 0 book
- 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 book
- 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 book
- Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu Douglas R. Hofstadter ; překlad Rostislav Niederle. V Brně : Nakladatelství Vutium, 2006 . xxiii, 126 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 Z 0 0 0 1 0 0 book
- 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 book
- An introduction to Gödel's theorems / Peter Smith. Cambridge : Cambridge University Press, 2009 . xiv, 362 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 book
- 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 book