A Resolution Principle for a Logic with Restricted Quantifiers Lecture Notes in Computer Science, nr. 568 Autor Hans-Jürgen Bürckert 11 dec 1991 Paperback Preț: 318.89 lei 398.60 lei 6-8 săpt. -20%
