城西国際大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:11件
数学・基礎の基礎 / 廣瀬健著
東京 : 海鳴社 , 1996.6
図書
束と論理 / 松本和夫 著
東京 : 森北出版. - (情報工学シリーズ * * ; 1)
数学基礎概説 * * / 大芝猛 著
東京 : 共立出版. - (共立数学講座 * * ; 10)
証明論入門 / 竹内外史,八杉満利子 共著
東京 : 共立出版
計算理論と論理プログラミング * * / Melvin Fitting {著} ; 山崎秀記 {ほか}共訳
東京 : 講談社
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
数学基礎論 / 隈部正博著
4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)
計算論入門 : 計算の基本原理理解のために / 渡辺治, 米崎直樹著
東京 : 日本評論社 , 1997.3
数学の基礎 / [L.ウィトゲンシュタイン著] ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
二十世紀数学思想 / 佐々木力著
東京 : みすず書房 , 2001.4