Kripke’s Worlds
An Introduction to Modal Logics via Tableaux
Vše od
Springer Basel
ISBN: 9783764385033
Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).
1 645 Kč
- 1 - 2 ks
- 1 645 Kč
- 3 - 10 ks
- 1 629 Kč
- 11 a více ks
- 1 613 Kč
Naše cena 1 645 Kč je o 6 % nižší než
doporučená cena výrobce 1 750 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer Basel ↓
1 645 Kč
Více o produktu ↓
Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, description logics) and also turned out useful for other nonclassical logics (intuitionistic, conditional, several paraconsistent and relevant logics).
- Výrobce
- Springer Basel
- Jazyk
- Switzerland
- Autor
- Gasquet, Olivier;Herzig, Andreas;Said, Bilal;Schwarzentruber, Francois
- Rozměry
- 169 x 242 x 11
- Rok vydání
- 2013
- Počet stran
- 198
- Obsah
- Paperback / softback
- Hmotnost
- 370
- Počet stran
- 198 pages, 73 Illustrations, black and white
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Kripke’s Worlds a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
