Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Система аксиом

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств ЦермелоПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмовПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Исчисление предикатовПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулыПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функцииПодробнее

Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 2Подробнее