TY - BOOK AU - Гудстейн, Рейбен Луис AU - Слисенко, А. О. TI - Рекурсивный математический анализ T2 - Матем. логика и основания математики PY - 1970/// CY - Москва PB - Наука KW - მათემატიკური ლოგიკა KW - რეკურსიული მათემატიკური ანალიზი ER -