- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 1 of 1 (0.044 seconds)| 1 |
Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic / トポス理論における局所作用素と直観主義算術における準古典的公理の分離Nakata, Satoshi 25 March 2024 (has links)
京都大学 / 新制・課程博士 / 博士(理学) / 甲第25096号 / 理博第5003号 / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 大木谷 耕司, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM
|
Page generated in 0.0479 seconds