Výsledky vyhledávání
- Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak. Basel : Birkhäuser, c2008 . viii, 178 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - The Gödelian puzzle book : puzzles, paradoxes and proofs /. Mineola, New York : Dover Pulications, Inc., 2013 . viii, 267 stran
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 - An introduction to Gödel's theorems / Peter Smith. Cambridge : Cambridge University Press, 2013 . xvi, 388 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 - On formally undecidable propositions of principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite. New York : Dover Publications, 1992 . viii, 72 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0