Well, there's always An Introduction to Lambda Calculus. I've tried reading it a few times, but always got stuck. I have a nagging feeling that I already know most of this stuff and would probably have an easier time understanding it if it was presented in terms of Lisp/Scheme rather than math. You might have better luck, though :)
