Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48