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