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