Logic and Algebraic Structures in Quantum Computing (Lecture Notes in Logic, Band 45)