@article{oai:tsukuba.repo.nii.ac.jp:00015875,
author = {Shirai, Kokio},
journal = {Tsukuba journal of mathematics},
month = {Dec},
note = {The purpose of this paper is to clarify a relation which exists between transfinite induction deduced in elementary number theory and a kind of complexity of the induction formulas used in its derivation. ...},
pages = {91--124},
title = {A relation between transfinite induction and mathematical induction in elementary number theory},
volume = {1},
year = {1977}
}