LogoTver State University Repository

Items where Subject is "5 Математика. Естественные науки > 51 Математика > 517 Анализ > 517.1 Введение в анализ"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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 Sep 21 09:57:48 2019 MSK.