К 49 Клини, С. Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] / С. Клини, Р. Весли ; пер. c англ. Ф. А. Кабакова ; Б. А. Кушнера. - М. : Наука, 1978. - 271, [1] с. - (Математическая логика и основания математики). - 1.50 р. Рубрики: Математика Кл.слова (ненормированные): интуиционистский анализ -- формальная система -- правила образования -- понятия реализуемости -- определение реализуемости -- специальная реализуемость -- интуиционистский континуум -- структура континуума Доп.точки доступа: Весли, Р.; Кабакова, Ф.А. \пер. c англ.\; Кушнера, Б.А. \.\ Экземпляры всего: 2 Ч.з.1 (2) Свободны: Ч.з.1 (2) |