Bulova algebra je algebarska struktura, kao prsten, polje grupa itd. Matematička logika je oblast matematike koja (trenutno) obuhvata, teoriju izračunljivosti, teoriju skupova, teoriju modela, teoriju dokaza, neklasične logige, kao i mnoge manje oblasti.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.