The top documents tagged [symbolic logic boole]