Objects, Structures, and Logics - Gianluigi Oliveri, Claudio Ternullo, Stefano Boscolo (Springer, 2022)