Knygos pagal Christoph Spörk
Produktų, atitinkančių pasirinkimą, nerasta.
-35%
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
40,72 €
62,64 €
-35% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją