@article{oai:tsukuba.repo.nii.ac.jp:00016030,
 author = {Arai, Toshiyasu},
 issue = {1},
 journal = {Tsukuba Journal of Mathematics},
 month = {Jun},
 pages = {21--29},
 title = {A subsystem of clasical analysis proper Takeuti's reduction method for II-analysis},
 volume = {9},
 year = {1985}
}