"Теория формальных систем" - читать интересную книгу автора (Смальян Р.)