"Logic, Language, and Computation, Volume 1 " - читать интересную книгу автора (Jerry Seligman, Dag Westerståhl)