Essential Logic for Computer Science The MIT Press Autor Rex Page et al. 8 ian 2019 Hardback Preț: 394.39 lei 3-5 săpt. | 7-11 zile
Interactive Theorem Proving Lecture Notes in Computer Science, nr. 8558 Editat de Gerwin Klein et al. aug 2014 Paperback Preț: 336.49 lei 420.61 lei 6-8 săpt. -20%