Logic and Computation: Interactive Proof with Cambridge LCF Cambridge Tracts in Theoretical Computer Science, nr. 2 Autor Lawrence C. Paulson 25 iul 1990 Paperback Preț: 384.58 lei 480.73 lei 43-57 zile -20%
