A Proof Theory for General Unification Progress in Computer Science and Applied Logic, nr. 11 Autor W. Snyder 30 sep 2012 Paperback Preț: 314.67 lei 393.34 lei 6-8 săpt. -20%