Logic and Algebraic Structures in Quantum Computing