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