富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:29件
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
図書
証明論入門 / 竹内外史, 八杉満利子共著
復刊. - 東京 : 共立出版 , 2010.6
数理基礎論講義 : 論理・集合・位相 / 金子晃著
東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
数学の基礎 / L.ウィトゲンシュタイン著 : 中村秀吉, 藤田晋吾訳
6版. - 東京 : 大修館書店 , 1994.11. - (ウィトゲンシュタイン全集 ; 7)
計算の理論 / 笠井琢美, 戸田誠之助著
東京 : 共立出版 , 1993.6. - (情報数学講座 ; 4)
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
計算モデルの基礎理論 / 井田哲雄 [著]
東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12)
計算機数学 / 町田元, 横森貴共著
東京 : 森北出版 , 1990.5
東京 : 共立出版 , 1988.2
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 : 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)
計算基礎論 / 足立暁生著
東京 : オーム社 , 1986.6
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
数学基礎論入門 / R.L.グッドステイン著 : 赤攝也訳
東京 : 培風館 , 1979.3
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
数学の基礎 / [L.ウィトゲンシュタイン著] ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
論理数学 / 細井勉著
東京 : 筑摩書房 , 1974.9. - (数理科学シリーズ ; 1)