Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 -- July 3, 2020. Proceedings
scientific article; zbMATH DE number 7347572