Text this: George Boole's collected logical works.