LOGIC AS ALGEBRA - Halmos,Paul; Givant,Steven (Mathematical Association Of America, New York, 1998)
Keywords: Logic,Symbolic And Mathematical; Algebra