"Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers " - читать интересную книгу автора (Daniel Leivant)