Банк задач по математике
β
Избранное
Лекции по дискретной математике
/
7 · Язык логики предикатов
§ 7.4
Замена предметных переменных