@article{oai:tsukuba.repo.nii.ac.jp:00016071,
 author = {Yukami, Tsuyoshi},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {69--73},
 title = {A note on a formalized arithmetic with function symbols ' and +},
 volume = {2},
 year = {1978}
}