Logical Methods door Steven Crossley & Jeffrey B. Remmel