Ресурсы из категории "510.652 Формальная арифметика. Формальная теория чисел"
- УДК (13031)
- 5 Математика. Естественные науки (2674)
- 51 Математика (509)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (65)
- 510.6 Математическая логика (52)
- 510.65 Логико-математические теории (8)
- 510.652 Формальная арифметика. Формальная теория чисел (5)
- 510.65 Логико-математические теории (8)
- 510.6 Математическая логика (52)
- 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. (65)
- 51 Математика (509)
- 5 Математика. Естественные науки (2674)
Д
Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). С. 65-75. ISSN 1995-0136
Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные. Вестник ТвГУ. Серия: Прикладная математика (3[10]). С. 5-24. ISSN 1995-0136
З
Золотов, А.С. (2016) О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 103-115. ISSN 1995-0136
Золотов, А.С. (2015) ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 27-37. ISSN 1995-0136
Золотов, А.С. (2014) О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 117-125. ISSN 1995-0136