"Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation (Lecture Notes in Computer Science)" - читать интересную книгу автора (Gerd Wagner)