Hüperonüümid:
algebra 1(n)
loogikaalgebra 1(n), väitealgebra 1(n)

matemaatilise loogika lausearvutuse osa, mis uurib algebraliste meetoditega loogikatehete omadusi