wyszukanych pozycji: 2
![]() |
Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-
ISBN: 9783319948201 / Angielski / Miękka / 2018 / 642 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
363,12 zł |
![]() |
Mathematical Logic and Computation
ISBN: 9781108478755 / Angielski / Twarda / 2022 / 450 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
292,80 zł |