A Logical Foundation for Potentialist Set Theory - Berry (Cambridge University Press, 2022)