OPAC

目録検索結果一覧

絞込項目

NII検索	検索条件	和洋区分	図　書	雑　誌
	件名=数学基礎論	全資料	11件	0件

図書一覧

該当件数：11件 ページ： 1

ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項
1		論理・集合・数学語 / 石川剛郎著. -- 共立出版, 2015. -- (共立講座数学探検).
2		計算可能性・計算の複雑さ入門 / 渡辺治著. -- 近代科学社, 1992. -- (アルゴリズム・シリーズ).
3		論理と計算 / 萩谷昌己著. -- 岩波書店, 1993. -- (岩波講座応用数学 / 甘利俊一 [ほか] 編集).
4		計算論 : 計算可能性とラムダ計算 / 高橋正子著. -- 近代科学社, 1991. -- (コンピュータサイエンス大学講座).
5		数学と論理 / 難波完爾著. -- 朝倉書店, 2003. -- (講座数学の考え方 / 飯高茂 [ほか] 編集).
6		数の体系と超準モデル / 田中一之著. -- 裳華房, 2002.
7		計算基礎論 / 足立暁生著. -- オーム社, 1986.
8		計算モデルの基礎理論 / 井田哲雄 [著]. -- 岩波書店, 1991. -- (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編).
9		線形代数学入門 / 奥川光太郎著. -- 朝倉書店, 1966. -- (基礎数学シリーズ ; 7).
10		数学基礎論 / 隈部正博著. -- 3訂版. -- 放送大学教育振興会, 2003. -- (放送大学教材).
11		プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳. -- サイエンス社, 1987. -- (Information & computing).
ﾍﾟｰｼﾞ選択ﾍﾟｰｼﾞ解除全件選択全件解除	書影	書誌事項

ページ： 1

雑誌タイトル一覧

該当件数：0件ページ： --

ページ： --