Essential Logic for Computer Science The MIT Press Autor Rex Page et al. 8 ian 2019 Hardback Preț: 407.35 lei 22-36 zile | 5-11 zile
Interactive Theorem Proving Lecture Notes in Computer Science, nr. 8558 Editat de Gerwin Klein et al. aug 2014 Paperback Preț: 349.94 lei 437.43 lei 43-57 zile -20%