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ț: 890.72 lei 1035.72 lei 6-8 săpt. | 7-11 zile -14%