Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
9.6.2.2. Эквациональные теории
и переписывающие системы
9.6.2.2.1. Универсальная унификация и классификация эквациональных теорий (Й. Зикманн, П. Сабо; 1982)
9.6.2.2.2. Программирование с помощью равенств и подстановок (В. Н. Агафонов, В. Б. Борщев, А. А. Воронков; 1988)
