"Logic, Language and Computation (Center for the Study of Language and Information - Lecture Notes)" - читать интересную книгу автора (Jerry Seligman, Dag Westerstahl)