PROOF THEORY Англо-русский перевод PROOF THEORY теория доказательств English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012