Mathematical Logic and Computation
Autor Jeremy Avigad
24 noi 2022
Hardback
Preț: 521.23 lei 566.56 lei
6-8 săpt.
-8%
Jeremy Avigad
Interactive Theorem Proving
Editat de Jeremy Avigad et al.
4 iul 2018
Paperback
Preț: 611.28 lei 764.09 lei
6-8 săpt.
-20%