Springer Philosophy, 19 Dec 2018 Quantum Computation and Logic (from the Trends in Logic series) is now published! Find it here: http://ow.ly/qT9G30n344L