Readings book on higher order logic note: this is in DJVU format. A free open-source reader is available here.