Quantum Computation and Logic - Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli (Springer, 2018)