Mathematical Logic and Computation Autor Jeremy Avigad 24 noi 2022 Hardback Preț: 564.09 lei 633.81 lei 43-57 zile -11%
Interactive Theorem Proving Lecture Notes in Computer Science, nr. 10895 Editat de Jeremy Avigad et al. 4 iul 2018 Paperback Preț: 611.28 lei 764.09 lei 43-57 zile -20%