Twenty Five Years of Constructive Type Theory Oxford Logic Guides, nr. 36 Autor Giovanni Sambin et al. 14 oct 1998 Hardback Preț: 718.22 lei 897.78 lei 6-8 săpt. -20%
