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