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