A Resolution Principle for a Logic with Restricted Quantifiers Autor Hans-Jürgen Bürckert 11 dec 1991 Paperback Preț: 313.56 lei 391.95 lei 6-8 săpt. -20%