Essential Logic for Computer Science The MIT Press Autor Rex Page et al. 8 ian 2019 Hardback Preț: 394.41 lei 3-5 săpt. | 6-10 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%