@article{oai:ycc.repo.nii.ac.jp:00000285,
 author = {高橋, 信行},
 month = {2016-03-07},
 note = {45, KJ00004476879},
 pages = {535--565},
 title = {SM-計算可能性とSM-計算可能関数のクラス},
 volume = {4},
 year = {}
}