Resolution Proof Systems: An Algebraic Theory Automated Reasoning Series, nr. 4 Autor Z. Stachniak 30 apr 1996 Hardback Preț: 623.39 lei 779.23 lei 43-57 zile -20%