There is, of course, the very famous <a href="http://mathgate.info/cebrown/notes/barendregt.php">book</a> by Barendregt, which doesn't require much background except for the usual mathematical maturity. He also has some introductory notes <a href="ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf">here</a>.