TY - BOOK AU - Мендельсон,Э. AU - Кабаков, Ф. А. AU - Адян, С. И. TI - Введение в математическую логику PY - 1971/// CY - Москва PB - Наука KW - Математическая логика N1 - Библиогр.: с.296-309 ER -