Výsledky vyhledávání

  1. 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
    PRF000100
  2. Gödel : a life of logic / John L. Casti and Werner DePauli.    Cambridge, MA :  Perseus Publishing,  2000 . vii, 210 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  3. 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
    PRF000100
  4. 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
    CMTF000100
  5. 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
    PRF200100
    Z000100
  6. 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
    PRF100000
    Z200000
  7. 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
    PRF100100
  8. 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-005056827e52
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100100
    PRFH000100
    Z000100
  9. 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
    PRF000200