Mathematical Logic and Computation
Autor Jeremy Avigad
23 noi 2022
Hardback
Preț: 481.78 lei 523.68 lei
3-5 săpt. | 6-12 zile
-8%
Jeremy Avigad
Interactive Theorem Proving
Editat de Jeremy Avigad et al.
4 iul 2018
Paperback
Preț: 587.67 lei 734.59 lei
6-8 săpt.
-20%