Derivation and Computation: Taking the Curry-Howard Correspondence Seriously Cambridge Tracts in Theoretical Computer Science, nr. 51 Autor H. Simmons 17 mai 2000 Hardback Preț: 872.67 lei 1014.73 lei 6-8 săpt. | 6-10 zile -14%