Вид документа : Однотомное издание Шифр издания : 510/Н 73 Автор(ы) : Новиков, Петр Сергеевич Заглавие : Конструктивная математическая логика с точки зрения классической Выходные данные : Москва: Наука, 1977 Колич.характеристики :328 с. ; 20 см Серия: Математическая логика и основания математики Цена : 4.00, 4.00, р. Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): б-ка русина--математическая логика--конструктивная математическая логика Экземпляры :КХР(1) Свободны : КХР(1) |