«дедуктивно равные формулы»

дедуктивно равные формулы в энциклопедиях

Поделиться

Большой англо-русский и русско-английский словарь

interdeducible formulas