Automated Development of Fundamental Mathematical Theories Automated Reasoning Series, nr. 2 Autor Art Quaife 30 noi 1992 Hardback Preț: 1188.59 lei 1449.49 lei 43-57 zile -18%