Logic and Algebraic Structures in Quantum Computing, co-editor Book uri icon