Kudryk, T. “Introduction to E. Nelson’s Internal Set Theory”. Annales Universitatis Paedagogicae Cracoviensis | Studia Ad Didacticam Mathematicae Pertinentia, vol. 7, July 2017, pp. 59-78, https://didacticammath.uken.krakow.pl/article/view/3631.