LogoTver State University Repository

Items where Subject is "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: С
Number of items at this level: 2.

С

Снятков, А.С. (2007) Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x). Вестник ТвГУ. Серия: Прикладная математика (1[4]). pp. 113-121. ISSN 1995-0136

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). pp. 39-51. ISSN 1995-0136

This list was generated on Fri May 24 00:27:02 2019 MSK.