Доброе время суток!

Если кто знает, посоветуйте, пожалуйста, где можно свободно скачать информацию (желательно на русском) по лямбда исчислению и комбинаторной логике.

Заранее всем благодарен!!!