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
    PRF000100
  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. 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. 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
  5. 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
  6. 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
    PRF000100
    Z000100
  7. 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
    PRF000100
    Z200000
  8. 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
    PRF100100
  9. Integrální rovnice a jejich použití při některých problémech mechaniky, matematické fysiky a techniky / S.G. Michlin ; [z ruštiny přeložil Otto Vejvoda].    Praha :  Přírodovědecké vydavatelství,  1952 . 340 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    LF000100
    PRF200000
  10. Matematické důkazy / Rüdiger Thiele ; přeložili Alois Kufner a Štefan Schwabik.    Praha :  Státní nakladatelství technické literatury,  1986 . 160 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000