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