@misc{oai:tsukuba.repo.nii.ac.jp:00011463,
 author = {Hanazawa, Masazumi and 花沢, 正純},
 month = {},
 note = {1979, 【要旨】},
 title = {On the theories of ordinal numbers with Ackermann-type reflection schema},
 year = {1979}
}