A Proof Theory for General Unification Progress in Computer Science and Applied Logic, nr. 11 Autor W. Snyder noi 1991 Hardback Preț: 342.59 lei 428.24 lei 6-8 săpt. -20%
