О доказательстве свойств оператора подстановки при обучении математической логике студентов педвуза

{} [+]