2024-03-28T10:28:41Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00016071
2023-12-15T03:31:53Z
3:62:5602:91:2895
A note on a formalized arithmetic with function symbols ' and +
Yukami, Tsuyoshi
departmental bulletin paper
Institute of Mathematics, University of Tsukuba
1978-12
application/pdf
Tsukuba Journal of Mathematics
2
69
73
0387-4982
AA00874643
https://tsukuba.repo.nii.ac.jp/record/16071/files/6.pdf
jpn
author
open access