Вид документа : Однотомное издание Шифр издания : В12/Е804 Автор(ы) : Ершов, Юрий Леонидович Заглавие : Определимость и вычислимость . -2-е изд., испр. и доп Выходные данные : М.: Экономика, 2000 Колич.характеристики :318 с Примечания : Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314 ISBN, Цена 5-282-02021-1: 90 р. ГРНТИ : 27.03.17 ББК : В127 Предметные рубрики: вычислимость, определимость, в математической логике Дескрипторы: моногр Экземпляры :02(1) Свободны : 02(1) |