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. 16-18 dni roboczych. |
cena:
362,27 |
![]() |
Mathematical Logic and Computation
ISBN: 9781108478755 / Angielski / Twarda / 2022 / 450 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
293,98 |