検索結果 5 件
紙図書
国立国会図書館全国の図書館
- 件名Proof theory. 超数学. 数学基礎論.
紙図書
国立国会図書館
- 件名超数学. 数学基礎論.
紙図書
国立国会図書館全国の図書館
- 目次・記事...論 §3 Bussの定理 3.超数学の形式化と不完全性定理 §1 .......2 p -帰納的定義 §2 超数学の形式化 §3 不完全性定理 4.PHPと数え上げ原理 §1...
- 件名超数学 計算量理論
紙図書
全国の図書館
- 件名Proof theory Numbers, Theory of Predicate calculus 超数学 整数論
- 件名(識別子)Proof theory Numbers, Theory of Predicate calculus 超数学 整数論
検索結果は以上です。