Deakstadieđáhus: Algebra and logic