| Login |
Items where Subject is "5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.62 Логические и логико-предметные языки"
Group by: Creators | Item Type Jump to: Article Number of items at this level: 2. ArticleПетров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). pp. 21-40. ISSN 1995-0136 Секорин, В.С. (2020) Об эквивалентности двух семантик PFP-оператора. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 41-49. ISSN 1995-0136 |
