Search results

  1. Algebraic foundations of many-valued reasoning / Roberto L.O. Cignoli, Itala M.L. D'Ottaviano and Daniele Mundici.    Dordrecht :  Kluwer Academic,  c2000 . ix, 231 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000300
    Algebraic foundations of many-valued reasoning

    book

  2. Algebraic method of mathematical logic / Ladislav Rieger ; [translated by Michal Basch].    Prague :  Academia. Publishing house of the Czechoslovak Academy of sciences,  1967 . 210 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000
    book

    book

  3. Algebraic theory of quasivarieties / Viktor A. Gorbunov.    New York ; London ; and Moscow : Consultants Bureau, [1998]  ©1998 . xii, 298 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100100
    Algebraic theory of quasivarieties

    book

  4. The algebra of intensional logics / J. Michael Dunn ; with an introductory essay by Katalin Bimbó.    [London] : College Publications, [2019]  ©2019 . 112 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    The algebra of intensional logics

    book

  5. Argumenty filosofické logiky / Petr Kolář.    Praha :  Filosofia,  1999 . 327 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    CMTF000100
    Z000100
    Argumenty filosofické logiky

    book

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

    book

  7. Bayesian nets and causality : philosophical and computational foundations / Jon Williamson.    Oxford :  Oxford University Press,  c2005 . ix, 239 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Bayesian nets and causality

    book

  8. 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

  9. 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

  10. 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
    book

    book