В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики) Библиогр.: с. 277-279. - Предм. указ.: с. 281-284 Рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |