Maliaukienė, L. 2000. The provability of some weak forms of the induction axiom. Lietuvos matematikos rinkinys. 40, spec. (Dec. 2000), 265–269 . DOI:https://doi.org/10.15388/LMR.2000.35146.