Automated Reasoning with Analytic Tableaux and Related Methods Editat de Marta Cialdea Mayer et al. 3 sep 2003 Paperback Preț: 321.56 lei 401.94 lei 6-8 săpt. -20%
