@article{oai:tsukuba.repo.nii.ac.jp:00015875,
 author = {Shirai, Kokio},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {91--124},
 title = {A relation between transfinite induction and mathematical induction in elementary number theory},
 volume = {1},
 year = {1977}
}