Search results
- 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 PRF 1 0 0 0 0 0 book
- 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 PRF 2 0 0 1 0 0 book
- 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 PRF 0 0 0 1 0 0 book
- 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 PRF 0 0 0 1 0 0 book
- 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 PRF 2 0 0 0 0 0 book
- Důkazy ve středoškolské matematice [rukopis] / Klára Spilková. 2020 . 66 s. (65 328 znaků)
book
- Geometry proofs : essential practice problems workbook with full solutions / Chris McMullen. [Místo vydání není známé]: Zishka Publishing, [2019] ©2019 . 199 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 0 0 0 book
- 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 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