Title: Logic, Algebra, and Computation