 algebra |  Boole, George |  Boolean algebra: the mathematics of |  logic: classical |  logic: intuitionistic |  logic: linear |  logic: many-valued |  logic: modal |  logic: relevance |  logical consequence |  model theory: first-order |  Tarski, Alfred 