Raamat
Sequents and Trees
93.50 €Püsikliendile: 88.83 €Toodet on alles vähem kui 10 eksemplari!
Kaupluses: 93.50 €
püsikliendile: 88.83 €
LIITU või Logi sisse
Kaup kätte: 3-6 nädalat, hiljemalt 04.06
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
| ISBN | 9783030571443 |
|---|---|
| Ilmumisaasta | 2020 |
| Keel | ingliskeelne |
| Formaat | Kõvakaaneline |
| Lehekülgi | 345 lk |
| Kirjastus | Springer Nature Switzerland AG |
| Lisamise aeg: | 25.01.2021 |
93.50 €Toodet on alles vähem kui 10 eksemplari!
Kaupluses: 93.50 €
püsikliendile: 88.83 €
LIITU või Logi sisse
Kaup kätte: 3-6 nädalat, hiljemalt 04.06
