検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：NDLSH:数学基礎論
選択行を：
 資料名所蔵館責任表示出版者出版年所在
1書影記号論理学 ( 数理論理学と数学基礎論 : その序論的解説 ; 第1 )花岡別館ニーボン著, 安藤洋美訳明治図書出版1970図書館別館2階 410.1/Nib
2書影計算論 : 計算可能性とラムダ計算 ( コンピュータサイエンス大学講座 ; 24 )花岡高橋正子著近代科学社1991図書館3階 410.9/Tak
3書影数学基礎論 ( 数理論理学と数学基礎論 : その序論的解説 ; 第2 )花岡別館ニーボン著, 安藤洋美訳明治図書出版1970図書館別館2階 410.1/Nib
4書影数学論 : 数学的認識の本性 花岡G.I.ルザービン著, 山崎三郎, 柴岡泰光訳岩波書店1977岩崎文庫 410.1/Ruz/岩崎文庫
5書影数理哲学 ( 数理論理学と数学基礎論 : その序論的解説 ; 第3 )花岡別館ニーボン著, 安藤洋美訳明治図書出版1970図書館別館2階 410.1/Nib
6書影論理と計算 ( 岩波講座応用数学[ 基礎 ; 11] )花岡別館萩谷昌己著岩波書店1993図書館別館2階 501.1/Ama/3
選択行を：
▲ページトップへ