Ресурсы из категории "517.1 Введение в анализ"
![[up]](/style/images/multi_up.png)
На уровень вверх- УДК (12900)
- 5 Математика. Естественные науки (2649)
- 51 Математика (507)
- 517 Анализ (110)
- 517.1 Введение в анализ (2)
- 517 Анализ (110)
- 51 Математика (507)
- 5 Математика. Естественные науки (2649)
Группировка по: Авторы | Тип объекта
Перейти к: Статья
Количество объектов на этом уровне: 2.
Статья
Mehats, 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