Kudryk, T. Introduction to E. Nelson’s Internal Set Theory. AUPC 2017, 7, 59-78.