自治医科大学を検索します。
CiNii Booksを検索します。
CiNii Research を検索します。
IRDBを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #数学基礎論)
該当件数:12件
公理と証明 : 証明論への招待 / 彌永昌吉, 赤攝也著
東京 : 筑摩書房 , 2012.9. - (ちくま学芸文庫 ; [イ37-2])
図書
数理論理学 / 松本和夫著
増補版. - 東京 : 共立出版 , 1971.12. - (共立講座現代の数学 ; 1)
数の概念について / G. Peano著 ; 小野勝次, 梅沢敏郎訳・解説
東京 : 共立出版 , 1969.8. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2)
自然数論 / 河田敬義著
東京 : 森北出版 , 1968.10. - (数学ライブラリー ; 3)
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)
∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1973.10. - (数学の盲点とその解明 / 石谷茂著)
線形代数学入門 / 奥川光太郎著
東京 : 朝倉書店 , 1966.9. - (基礎数学シリーズ ; 7)
数理哲学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970.7. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3)
数学基礎論 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2)
記号論理学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1)
計算モデルの基礎理論 / 井田哲雄 [著]
東京 : 岩波書店 , 1991.3. - (岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 12)
基礎への再認識 / 小口武彦著 . ベクトル解析 ; 複素関数の応用 / 阿部龍蔵著
東京 : アグネ , 1968.6. - (現象の数学 ; 1)