Ресурсы из категории "5 Математика. Естественные науки > 51 Математика > 517 Анализ > 517.1 Введение в анализ"
Группировка по: Авторы | Тип объекта Количество объектов на этом уровне: 2. MMehats, L. и Soloviev, S. (2005) Permutability of inferences and categorical equivalence of derivations in IMLL. Вестник ТвГУ. Серия: Прикладная математика (2). С. 27-44. ISSN 1995-0136 ЧЧагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). С. 28-33. ISSN 1995-0136 |