"Formal Methods in Artificial Intelligence" - читать интересную книгу автора (Ramsay A.M.)