Title: Quantum Computation and Logic
Subjects: Quantum computers, Algebraic logic