Twenty Five Years of Constructive Type Theory Oxford Logic Guides, nr. 36 Autor Giovanni Sambin et al. 15 oct 1998 Hardback Preț: 624.10 lei 1018.67 lei 40-51 zile -39%
