Quantum, Probability, Logic - Meir Hemmo, Orly Shenker (Springer, 2020)