Avi Wigderson's book "Mathematics and Computation" (links to free copy here https://www.math.ias.edu/avi/book) has a nice chapter on Quantum Computing and might be a good intro if you have basic appreciation of complexity classes. He keeps the proofs to a minimum.