Automated Development of Fundamental Mathematical Theories Automated Reasoning Series, nr. 2 Autor Art Quaife 30 noi 1992 Hardback Preț: 1223.74 lei 1492.37 lei 6-8 săpt. -18%