Výsledky vyhledávání

  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
  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
  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
  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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Boolesche Funktionen und Postsche Klassen / S.W. Jablonski, G.P. Gawrilow, W.B. Kudrjawzew ; in deutscher Sprache herausgeben von Helmut Thiele und Rolf Lindner.    Berlin :  Akademie-Verlag,  1970 . ix, 84 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000