તેના "બુલિયન બીજગણિત" વાસ્તવમાં તર્કની પદ્ધતિ છે, તર્કમાં નિવેદનોને રજૂ કરવા માટે વપરાતી ગાણિતિક સમીકરણો.