Items where Subject is "517.1 Введение в анализ"

Group by: Creators | Item Type
Jump to: M | Ч
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

This list was generated on Sat May 17 02:45:32 2025 MSK.