@article{oai:niigata-u.repo.nii.ac.jp:00003068,
 author = {高野, 道夫},
 issue = {4},
 journal = {数学, 数学},
 month = {Dec},
 pages = {289--298},
 title = {Gödelのprimitive recursive functionalをめぐって},
 volume = {29},
 year = {1977}
}