Though incomparable to the book, you may be interested in a free introduction by the author: ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf