検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：NDLSH:数学基礎論
選択行を：
22 件中の　1-10123
 資料名所蔵館責任表示出版者出版年所在
1書影お話・数学基礎論 : 数学では必ず正しい結論に到着できるか? ( ブルーバックス ; B-1374 )中央図書館八杉満利子, 林晋共著講談社2002中央１階
2書影記号論理学 ( 数理論理学と数学基礎論 : その序論的解説 ; 第1 )中央図書館ニーボン著, 安藤洋美訳明治図書出版1970中央２階 410.1||Kn 2||1
中央５階Ｇ 370.8||Ka 21||11
3書影計算可能性入門 ( コンピュータサイエンス大学講座 )中央図書館小林孝次郎著近代科学社1980中央５階 548.164||Ko 12
4書影計算機数学 中央図書館町田元,横森貴共著森北出版1990中央２階 418||Ma 16
5書影計算基礎論 中央図書館足立暁生著オーム社1986中央２階 418||A 16
6書影計算の基礎理論 ( シリーズ新しい応用の数学 ; 9 )中央図書館細井勉著教育出版1975中央２階 410.8||Sh 88||9
7書影計算モデルの基礎理論 ( 岩波講座ソフトウェア科学 ; 12 )中央図書館井田哲雄 [著]岩波書店1991中央５階 548.163||I 95||12
8書影現代論理学入門 : 情報から論理へ 鶴川図書館本橋信義著岩波書店1989鶴川３階 410.1||Mo 83
9書影集合論とプラトニズム ( ゲーデルと20世紀の論理学 (ロジック) ; 4 )中央図書館田中一之編東京大学出版会2007中央２階 410.9||G 31||4
10書影初等記号論理学入門 ( 数学ぶっくす ; 7 )中央図書館倉田令二朗,中村修著国土社1974中央５階 410.12||Ku 56
22 件中の　1-10123
選択行を：
▲ページトップへ