Logical Methods by Steven Crossley & Jeffrey B. Remmel