Items where Subject is "517.1 Введение в анализ"
- УДК (13276)
- 5 Математика. Естественные науки (2700)
- 51 Математика (514)
- 517 Анализ (112)
- 517.1 Введение в анализ (2)
- 517 Анализ (112)
- 51 Математика (514)
- 5 Математика. Естественные науки (2700)
Group by: Creators | Item Type
Number of items at this level: 2.
M
Mehats, L. and Soloviev, S. (2005) Permutability of inferences and categorical equivalence of derivations in IMLL. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 27-44. ISSN 1995-0136
Ч
Чагров, А.В. (2003) Применение итерации для дедукционных теорем в нормальных модальных логиках. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 28-33. ISSN 1995-0136