Робинсон, А. Введение в теорию моделей и метаматематику алгебры/ А. Робинсон; Пер. А. Б. Волынский; Ред. А.Д. Тайманов - Москва: Наука, 1967. - 376 с. - Математическая логика и основания математики . Библиогр.: с.356-372 Subjects--Geographic Terms: Математика