@article{oai:tsukuba.repo.nii.ac.jp:00015715,
 author = {Yasugi, Mariko},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {321--331},
 title = {An interpretatain of intuitionistic analysis with restricted transfinite inductive difinitions},
 volume = {12},
 year = {1988}
}