Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings / - Della Vedova, Gianluca. (Springer Nature Switzerland,)