User talk:Bci2/Books/Quantum Algebra, Logic and Algebraic Geometry