2024-03-28T14:37:19Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00010528
2023-06-12T04:34:50Z
3:267:281
Proof-theoretic investigations of iterated hyperjumps by Takeuti's reduction method
Arai, Toshiyasu
新井, 敏康
open access
1986
【要旨】
1987
jpn
thesis
http://hdl.handle.net/2241/4729
https://tsukuba.repo.nii.ac.jp/records/10528
甲第428号
博士(理学)
Doctor of Philosophy in Science
1987-03-25
12102
筑波大学
University of Tsukuba
https://tsukuba.repo.nii.ac.jp/record/10528/files/A0428.pdf
application/pdf
138.5 kB