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 6-8 săpt. -20%
