東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:40件
論理と計算 / 萩谷昌己著
東京 : 岩波書店 , 1993.6. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; 3 . 基礎 ; 11)
図書
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
数学基礎論 = Mathematical Logic / 新井敏康著
増補版. - 東京 : 東京大学出版会 , 2021.4
数学基礎概説 / 大芝猛著
東京 : 共立出版 , 1987.10. - (共立数学講座 ; 10)
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
数学基礎論序説 / R.L.ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969.4
数学基礎論入門 / 前原昭二著
東京 : 朝倉書店 , 1977.6. - (基礎数学シリーズ ; 26)
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
数学とは何か : 集合・論理 / 前原昭二著
東京 : 総合科学出版 , 1971.4. - (総合サイエンス・ライブラリー ; 23)
計算基礎論 / 足立暁生著
東京 : オーム社 , 1986.6
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
Q&A数学基礎論入門 / 久馬栄道著
東京 : 共立出版 , 1995.9
数学基礎論 = Mathematical logic / 新井敏康著
東京 : 岩波書店 , 2011.5
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
東京 : 共立出版 , 2012.2
論理と計算のしくみ / 萩谷昌己, 西崎真也著
東京 : 岩波書店 , 2007.6
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
数学基礎論 / 隈部正博著
3訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 1666118-1-0311)