Automated Model Building Autor Ricardo Caferra et al. 13 sep 2004 Hardback Preț: 914.45 lei 1115.18 lei 43-57 zile -18%
Methods of Cut-Elimination Trends in Logic, nr. 34 Autor Matthias Baaz et al. 25 feb 2013 Paperback Preț: 615.66 lei 724.31 lei 43-57 zile -15%