"Функции алгебры логики и классы Поста" - читать интересную книгу автора (Яблонский С.В. и др.)