LogoРепозиторий Тверского госуниверситета

Ресурсы из категории "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы"

На уровень вверх
Экспорт в [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Группировка по: Авторы | Тип объекта
Перейти к: Г | К
Количество объектов на этом уровне: 2.

Г

Горбунов, И.А. (2017) ЭФФЕКТИВНЫЙ КРИТЕРИЙ ДЕДУКТИВНОСТИ МНОЖЕСТВ ФОРМУЛ ЛОГИКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 95-103. ISSN 1995-0136

К

Котикова, Е.А. и Рыбаков, М.Н. (2016) МОДЕЛИРОВАНИЕ АРИФМЕТИКИ В ЯЗЫКЕ ПЕРВОГО ПОРЯДКА, ОБОГАЩЕННОМ ТЕМПОРАЛЬНЫМИ КВАНТОРАМИ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 5-19. ISSN 1995-0136

Этот список был создан Thu Nov 22 13:36:16 2018 MSK.