Search results

Records found: 215  
Your query: Conspectus - category = "^510^"
  1. Advanced Łukasiewicz calculus and MV-algebras / D. Mundici.    Dordrecht :  Springer,  c2011 . xviii, 256 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000400
    Advanced Łukasiewicz calculus and MV-algebras

    book

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

  3. Algebraic logic / by Paul R. Halmos.    New York : Chelsea Publishing Company, [1962]  ©1962 . 271 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100100
    book

    book

  4. Algorithmic puzzles / Anany Levitin and Maria Levitin.    Oxford ; New York, N.Y. :  Oxford University Press,  c2011 . xxi, 257 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200100
    book

    book

  5. Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt.    New York, N.Y. :  Springer,  c2010 . xxviii, 855 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Algorithmic randomness and complexity

    book

  6. Algorithms / Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani.    New York, N.Y. :  McGraw-Hill Higher Education,  c2008 . x, 320 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF600200
    Algorithms

    book

  7. Algorithms unlocked / Thomas H. Cormen.    Cambridge, Mass. ; London :  MIT Press,  c2013 . xiii, 222 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200000
    Algorithms unlocked

    book

  8. Algoritmická matematika. I / Václav Snášel, Jiří Dvorský.    Olomouc :  Univerzita Palackého,  1999 . 256 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200000
    Z100100
    Algoritmická matematika

    book

  9. Axiomatic set theory / by Patrick Suppes.    New York : Dover Publications, Inc., 2013 . xii, 267 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF200100
    book

    book

  10. Basic set theory / Azriel Levy.    Mineola, New York : Dover Publications, 2002 . xiv, 398 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    book

    book


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