Mathematical Logic and Computation
Autor Jeremy Avigad
23 noi 2022
Hardback
Preț: 503.35 lei 565.57 lei
6-8 săpt.
-11%
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%