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 43-57 zile | 6-12 zile -14%
