Lectures on the Curry-Howard Isomorphism Studies in Logic and the Foundations of Mathematics, nr. 149 Autor Morten Heine Sørensen et al. 3 iul 2006 Hardback Preț: 734.18 lei 957.22 lei 36-50 zile -23%