Rýchle dodanie
Po celej SR
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are
V našej ponuke nájdete široký výber kníh pre každého čitateľa. Objavte svet fantázie, histórie, sci-fi, detektívok a mnoho ďalších žánrov. Sme hrdí na našu ponuku najnovších bestsellerov, ale zároveň sa nezabúdame vracať ku klasickým dielam, ktoré formovali literárnu históriu. Naši sprostredkovatelia sú profesionáli, ktorí vám radi poradia výber, ktorý najlepšie zodpovedá vašim záujmom. V našom eshope nájdete aj e-knihy a audioknihy pre tých, ktorí preferujú moderné technológie. U nás si vyberie každý čitateľ, či už je to hľadanie návykového čítania alebo hľadanie strojca, ktorý zmení váš život. Navštívte náš web a začnite objavovať svet kníh.
Po celej SR
100% zabezpečenie platby
Jednoduchá reklamácia tovaru
Podpora na telefóne a emaile