Logic in High Definition - Giordani (Springer International Publishing, 2021)