2024-03-28T22:19:01Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00011431
2023-06-12T05:22:11Z
3:267:281
Derived rules of intuitionistic systems
Hayashi, Susumu
林, 晋
open access
1980
【要旨】
1981
jpn
thesis
http://hdl.handle.net/2241/5743
https://tsukuba.repo.nii.ac.jp/records/11431
甲第93号
博士(理学)
Doctor of Philosophy in Science
1981-03-25
12102
筑波大学
University of Tsukuba
https://tsukuba.repo.nii.ac.jp/record/11431/files/A0093.pdf
application/pdf
160.3 kB