Maliaukienė L. The provability of some weak forms of the induction axiom. LMR [Internet]. 2000 Dec. 18 [cited 2025 Nov. 7];40(spec.):265–269 . Available from: https://www.zurnalai.vu.lt/LMR/article/view/35146