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