Logic and Algebraic Structures in Quantum Computing (Lecture Notes in Logic)