"Cognitive Reasoning: A Formal Approach " - читать интересную книгу автора (Oleg Anshakov, Tamás Gergely)