Výsledky vyhledávání

  1. Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.    Oxford :  Clarendon Press,  1993 . xii, 428 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000
  2. Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen.    Berlin : Springer, [2018]  ©2018 . xxi, 698 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200100
  3. Hodnocení  5/5, hodnoceno 6x
    Combinatorial optimization : theory and algorithms / Bernhard Korte, Jens Vygen.    Berlin ; Heidelberg ; New York :  Springer,  2002 . xiii, 530 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  4. Conjecture and proof / Miklós Laczkovich.    Washington : Mathematical Association of America, [2001]  ©2001 . x, 118 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
  5. Hodnocení  4/5, hodnoceno 1x
    Důkazy beze slov : cvičení pro rozvoj vizuálního myšlení / Roger B. Nelsen ; překlad: Martin Mikuláš.    [Bratislava] : Young Scientist, [2012] . 159 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200000
  6. 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
    PRF000100
  7. 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
  8. Hodnocení  4/5, hodnoceno 1x
    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
  9. 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
  10. How to prove it : a structured approach / Daniel J. Velleman.    Cambridge : Cambridge University Press, 2006 . xiii, 384 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200000