Lambda-Calculus and Combinators: An Introduction Autor J. Roger Hindley et al. 23 iul 2008 Hardback Preț: 510.64 lei 573.76 lei 43-57 zile -11%
Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 283.47 lei 354.33 lei 43-57 zile -20%