Text this: Logic and Algebraic Structures in Quantum Computing