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ț: 317.79 lei 397.24 lei 43-57 zile -20%