Edinburgh LCF: A Mechanized Logic of Computation Lecture Notes in Computer Science, nr. 78 Autor M. Gordon et al. dec 1979 Paperback Preț: 132.49 lei 165.62 lei 6-8 săpt. -20%