Search results

Records found: 58  
Your query: Subject h. and keywords = "proofs"
  1. Apologie křesťanství. Díl I. / sestavil Pavel Vychodil.    V Brně : Tiskem a nákladem papežské knihtiskárny benediktinů rajhradských, 1893 . 546 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF100000
    book

    book

  2. Aquinas's way to God : the proof in De Ente et Essentia / Gaven Kerr.    New York, NY : Oxford University Press, [2015]  ©2015 . xxi, 205 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    Aquinas's way to God

    book

  3. 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
    Arithmetic, proof theory, and computational complexity

    book

  4. Bůh jako vysvětlení / Richard Swinburne ; [z anglického originálu ... přeložil Karel Šprunk].    Praha :  Triton,  2011 . 166 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    Bůh jako vysvětlení

    book

  5. Civilizace a mravnost : perspektivy moderní civilizace : (člověk v proměnách kosmického času) / Miloslav Král.    Praha :  Ideál,  2010 . viii, 326 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PF100000
    Z100100
    Civilizace a mravnost

    book

  6. 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
    Combinatorial optimization

    book

  7. 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
    Combinatorial optimization

    book

  8. Come sono nati gli esercizi : il cammino spirituale di sant'Ignazio di Loyola / Hugo Rahner.    Roma :  Edizioni AdP,  2004 . 147 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    book

    book

  9. Con i sentimenti de gesù : un ritiro di otto giorni / Sergio Rendina.    Roma :  Edizioni AdP,  c2003 . 191 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    book

    book

  10. 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
    Conjecture and proof

    book


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.