Logical Algebraic Structures
Introduction of several fundamental structures in mathematics and computer science