Search results
- 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 
book
book
- 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 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, 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 book
- Neúplnost : důkaz a paradox Kurta Gödela / Rebecca Goldsteinová ; z anglického originálu Incompletness ... přeložil Martin Weiss. Praha : Argo ; Dokořán : 2005 ©2006 . 265 stran
http://kramerius4.nkp.cz/search/handle/uuid:a389e620-059f-11e4-9789-005056827e52Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 PRFH 0 0 0 1 0 0 Z 0 0 0 1 0 0 book
- 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 book