KSIĄŻKA
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) - Andrzej Indrzejczak [KSIĄŻKA]
Artykuł niedostępny
| Kategoria | Historyczne |
| Autor | Andrzej Indrzejczak |
| Ilość stron | 361 |
| EAN | 9783030571443 |
| Dział | KSIĄŻKA |
| Autor | Andrzej Indrzejczak |
| Rok wydania | 2020 |
| Język | angielski |
| Ilość stron | 361 |
| Liczba nośników | [1xKSIĄŻKA] |
Historyczne
Książki