上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #数学基礎論)
該当件数:62件
計算基礎論 / 足立暁生著
東京 : オ-ム社 , 1986.6
図書 <1000006758>
計算論 : 計算可能性とラムダ計算 / 高橋正子著
東京 : 近代科学社 , 1991.8. - (コンピュータサイエンス大学講座 ; 24)
図書 <1000207906>
工業専門基礎数学 / 泉信一[ほか]著
東京 : 宝文館出版 , 1980.4
図書 <1000173783>
束と論理 / 松本和夫著
東京 : 森北出版 , 1980.5. - (情報工学シリーズ ; 1 . 情報数学 ; 1)
図書 <1000043851>
数学基礎論入門 / 前原昭二著
: electronic bk. - 復刊. - 東京 : 朝倉書店 , 2006.3. - (基礎数学シリーズ ; 23)
電子ブック <1003121370>
数学基礎論 = Mathematical Logic / 新井敏康著
増補版. - 東京 : 東京大学出版会 , 2021.4
図書 <1003183023>
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 <1003069722>
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書 <1003046125>
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
図書 <1002876113>
数の概念について / ペアノ著 ; 小野勝次, 梅沢敏郎訳・解説
東京 : 共立出版 , 1969.8. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2)
図書 <1001294023>
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
図書 <1001367777>
お話・数学基礎論 : 数学では必ず正しい結論に到着できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
図書 <1001377806>
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
図書 <1001385028>
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
図書 <1001392446>
復刊. - 東京 : 朝倉書店 , 2006.3. - (基礎数学シリーズ ; 23)
図書 <1002035938>
数学基礎論講義 : 不完全性定理とその発展 / 田中一之[ほか]著
東京 : 日本評論社 , 1997.3
図書 <1000285792>
数学基礎論 / 山本新著
東京 : 高文堂出版社 , 1994.9
図書 <1000255539>
数理哲学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970.7. - (数理論理学と数学基礎論 : その序論的解説 / ニ-ボン著 ; 安藤洋美訳 ; 第3)
図書 <1000177676>
思考の道具箱 : 情報 数 空間 論理 無限 数学的リアリティの五つのレベル / ルディ・ラッカー著 ; 大槻有紀子 [ほか] 訳
東京 : 工作舎 , 1993.3
図書 <1000236303>
計算可能性・計算の複雑さ入門 / 渡辺治著
東京 : 近代科学社 , 1992.10. - (アルゴリズム・シリーズ ; 3)
図書 <1000228128>