Logic in High Definition - Alessandro Giordani, Jacek Malinowski (Springer, 2021)