TY - BOOK AU - Робинсон,Авраам AU - Волынского А. Б. AU - Тайманова А. Д. TI - Введение в теорию моделей и метаматематику алгебры T2 - Математическая логика и основания математики SN - PY - 1967/// CY - Москва PB - Наука KW - Математическая логика KW - RKP KW - მათემატიკური ლოგიკა N1 - На обороте тит. л.: Introduction to model theory and to the metamathematics of algebra. Abraham Robinson; Вспом. указатели: с. 373-376; Библиогр.: 356-372 ER -