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. Algebraizable logics / W.J. Blok and Don Pigozzi.    Providence :  American Mathematical Society,  1989 . v, 78 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    book

    book

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

  6. Applied logistic regression analysis / Scott Menard.    Thousand Oaks, Calif. :  Sage Publications,  c2002 . viii, 111 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    FTK100000
    Applied logistic regression analysis

    book

  7. The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 / edited by Leon Henkin, Patrick Suppes, Alfred Tarski.    Amsterdam :  North-Holland Publishing Company,  1959 . xi, 488 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    Z000100
    book

    book

  8. Axiomatic set theory / Paul Bernays with a historical introduction by Abraham A. Fraenkel.    Amsterdam :  North-Holland Publishing Company,  1958 . viii, 226 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    Z000100
    book

    book

  9. Basic proof theory / A.S. Troelstra, H. Schwichtenberg.    Cambridge :  Cambridge University Press,  2000 . xii, 417 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Basic proof theory

    book

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