Полный русско-английский словарь
теория доказательства
Proof theory, theor of proof
Полный русско-английский словарь
теория доказательств
теория донорно-акцепторпого взаимодействия