Thirty Five Years of Automating Mathematics Applied Logic Series, nr. 28 Editat de F.D. Kamareddine 30 noi 2003 Hardback Preț: 637.81 lei 750.37 lei 43-57 zile -15%
A Modern Perspective on Type Theory: From its Origins until Today Applied Logic Series, nr. 29 Autor F.D. Kamareddine et al. 9 iun 2004 Hardback Preț: 1099.13 lei 1340.40 lei 43-57 zile -18%