Алгоритмы и рекурсивные функции
Избранные труды. Том 2. Математическая логика и общая теория алгебраических систем
Алгебраические системы.
Основы линейной алгебры