Items where Subject is "510.652 Формальная арифметика. Формальная теория чисел"

Group by: Creators | Item Type
Jump to: Д | З
Number of items at this level: 5.

Д

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). pp. 65-75. ISSN 1995-0136

Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные. Вестник ТвГУ. Серия: Прикладная математика (3[10]). pp. 5-24. ISSN 1995-0136

З

Золотов, А.С. (2016) О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 103-115. ISSN 1995-0136

Золотов, А.С. (2015) ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). pp. 27-37. ISSN 1995-0136

Золотов, А.С. (2014) О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 117-125. ISSN 1995-0136

This list was generated on Thu Dec 5 15:16:14 2024 MSK.