Cummings, James William Radford (Ed.) Higher recursion theory and set theory New Jersey : World Scientific, 2025. xiii, 397 p. -- (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore ; vol. 44)  QA248 H54