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