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 5-7 săpt. -23%