Барендрегт насмешил, в его книге по ламбда-счислению:
Эта книга по существу не требует предварительной подго- товки. Лишь временами нужны элементарные сведения из ло- гики первого порядка, топологии, теории множеств, теории ре- курсии и теории категорий.