(no subject)

Число звёздочек достигло 247 и больше не растёт. Видимо, охвачена вся целевая аудитория. Я бы писал дальше (про кванторы и лямбды), но для этого надо в самом начале определить подстановку и альфа-конверсию и доказать их основные свойства. Все специалисты знают, что это не просто трудно, а мучительно трудно, поэтому обычно замалчивают.