22.19 Е80 Ершова, Ю. Л. Сигма - определимость и теорема Гёделя о неполноте [Текст] : учеб.пособие / Ершова Ю.Л. - Новосибирск : [б. и.], 1995. - 76с. : ил. - 4-00 р. Рубрики: Вычислительная математика Кл.слова (ненормированные): RQ-формулы -- сигма-формулы -- формальная определимость -- сигма-предикаты -- численные методы Экземпляры всего: 2 аб. (1), ч.з. (1) Свободны: аб. (1), ч.з. (1) |