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ț: 908.00 lei 1055.82 lei 6-8 săpt. | 4-10 zile -14%
