"Logic language and computation" - читать интересную книгу автора (Jerry Seligman, Dag Westerstahl)