Функциональные системы с операцией суперпозиции Российская государственная библиотека (РГБ)
Конечные автоматы Российская государственная библиотека (РГБ)
Рекурсивные функции Российская государственная библиотека (РГБ)
Машины в теории вычислимых функций : учебное пособие Российская государственная библиотека (РГБ)
Сильные операторы замыкания : учебное пособие Российская государственная библиотека (РГБ)
S-классификация функций трехзначной логики Российская государственная библиотека (РГБ)
Булева сводимость и булевы степени Российская государственная библиотека (РГБ)
Представление функций суперпозициями Российская государственная библиотека (РГБ)
Посмотреть все произведения автора
Математика > Математическая логика > Логические исчисления. Исчисление высказываний. Исчисление предикатов > Пособие для специалистов