TY  - BOOK
AU  - Гудстейн,Рейбен Луис
AU  - Чернявский,Владимир Соломонович
AU  - Яновская,Софья Александровна
TI  - Математическая логика =: Mathematical logic
PY  - 1961///
CY  - Москва
PB  - Изд-во иностр. лит.
N1  - Доп. тит. л. англ; Пер. изд.: Mathematical logic. By R. L. Goodstein. Leicester, Univ. press, 1957; Библиогр. в примеч.: с. 142-148; В кн. также: К теореме о канонической форме для ординально-рекурсивных функций / А.В. Кузнецов
ER  -