Здравствуйте, Yaevinn, Вы писали:

Y>Расскажите плз какая есть хорошая литература по математическому аппарату, который лежит в основе ФП.

В основе ФП лежит лямбда-исчисление.

Фундаментальные монографии:
Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985.
Филд А., Харрисон П. Функциональное программирование — М.: Мир, 1993.

Из более прикладных вещей можно отметить курс лекций Харрисона в Кэмбридже (англ.) (есть русский перевод).