2024-03-29T12:47:11Z
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
open access
author
Institute of Mathematics, University of Tsukuba
1978-12
jpn
departmental bulletin paper
http://hdl.handle.net/2241/6960
https://tsukuba.repo.nii.ac.jp/records/16071
0387-4982
AA00874643
Tsukuba Journal of Mathematics
2
69
73
https://tsukuba.repo.nii.ac.jp/record/16071/files/6.pdf
application/pdf
344.2 kB
2013-12-19