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%