"Logical Foundations for Rule Based Systems" - читать интересную книгу автора (Antoni Ligeza)