Akademik
Beweisanalyse
(
f
)
анализ доказательства
Немецко-русский математический словарь
.
2013
.