There is, of course, the very famous book by Barendregt, which doesn't require much background except for the usual mathematical maturity. He also has some introductory notes here.
Todd Trimble
- 53.3k
- 6
- 205
- 322