MaliaukienÄ—, L. (2000). The provability of some weak forms of the induction axiom.
Lietuvos Matematikos Rinkinys
,
40
(spec.), 265–269 .
https://doi.org/10.15388/LMR.2000.35146