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