Methods of Cut-Elimination Trends in Logic, nr. 34 Autor Matthias Baaz et al. 17 ian 2011 Hardback Preț: 621.67 lei 731.37 lei 6-8 săpt. -15%
Automated Model Building Applied Logic Series, nr. 31 Autor Ricardo Caferra et al. 13 sep 2004 Hardback Preț: 916.64 lei 1117.85 lei 6-8 săpt. -18%