ТЕОРИЯ ДОКАЗАТЕЛЬСТВА Русско-английский перевод ТЕОРИЯ ДОКАЗАТЕЛЬСТВА proof theory, theor of proof Большой Русско-Английский словарь. New big Russian-English dictionary. 2012