дедуктивно равные формулы Interdeducible formulas Источник: Полный русско-английский словарь на Gufo.me Предложить изменения дедуктивно полный дедуктивно равный
