Mathematical Logic and Computation
Autor Jeremy Avigad
24 noi 2022
Hardback
Preț: 514.51 lei 578.10 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%