NDC Navi
大阪市立大学 村上研究室 浦 芳伸
「410.9 集合論.数学基礎論」に関する情報
分類記号
410.9
事項
集合論.数学基礎論
関連する用語
オートマトン
,
解析集合
,
階層理論
,
カオス
,
帰納的関数
,
逆理
,
決定問題
,
ゲーデル数
,
構成的順序数
,
公理
,
集合論
,
順序数
,
数学基礎論
,
選択公理
,
直観主義
本を探す
分類表
分類記号
事項
410.96
記号論理学[論理計算]