George Boole (conceptual logic)

GPTKB entity