Владимиров, А. А. О выразимости принципа обобщенной индукции средствами ступенчатой семантической системы [Текст] / А. А. Владимиров // Доклады Академии наук. - 2009. - Т. 427, N 1, июль. - С. 7-9. . - Библиогр.: с. 9
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): принципы обобщенной индукции -- средства ступенчатой семантической системы -- ступенчатая семантическая система -- семантическая система -- обобщенная индукция -- индукция Аннотация: Намечена конструкция, позволяющая устанавливать верность замкнутых формул. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |