Automated Deduction in Classical and Non-Classical Logics Editat de Ricardo Caferra et al. 9 feb 2000 Paperback Preț: 321.81 lei 402.26 lei 43-57 zile -20%