検索結果 9 件
デジタルその他
全国の図書館
- 件名構成的数学 逆数学 層モデル
- 一般注記...、（３）分離手法などメタ理論の構成的数学の枠組みでの展開を目的とする。......46 研究分野： 数理論理学・構成的数学 identifier:https://dspace.jai...
デジタルその他
全国の図書館
- 件名数理論理学 構成的数学 逆数学 集合論
- 一般注記...046 研究分野：数理論理学・構成的数学 科研費の分科・細目：数学・数学一般 identifier:...
デジタルその他
全国の図書館
- 件名数理論理学 数学基礎論 構成的数学 逆数学
- 一般注記...：10211046 研究分野：構成的数学 科研費の分科・細目：情報学・情報学基礎 identifie...