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