旭川医科大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.9)
該当件数:24件
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
図書
「P≠NP」問題 : 現代数学の超難問 / 野崎昭弘著
東京 : 講談社 , 2015.9. - (ブルーバックス ; B-1933)
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5. - (ブルーバックス ; B-2059)
集合論とその論理 / ウィラード・ヴァン・オーマン・クワイン〔著〕 ; 大出晁,藤村龍雄訳
東京 : 岩波書店 , 1968
集合論 / 辻正次著 ; 小松勇作改訂
新版. - 東京 : 共立出版 , 1967
集合論入門 / 赤摂也著
増補版. - 東京 : 培風館 , 1959.7. - (新数学シリーズ / 吉田洋一監修 ; 1)
点集合論入門 / 吉田洋一著
東京 : 培風館 , 1960.6. - (新数学シリーズ ; 17)
離散数学入門 : 整数の誕生から「無限」まで / 芳沢光雄著
東京 : 講談社 , 2019.12. - (ブルーバックス ; B-2121)
数学にときめくふしぎな無限 : インターネットから飛び出した数学課外授業 / e-教室編
東京 : 講談社 , 2005.2. - (ブルーバックス ; B-1468)
なっとくする無限の話 / 玉野研一著
東京 : 講談社 , 2004.4
数学基礎論 / 前原昭二, 竹内外史著
東京 : 筑摩書房 , 2017.1. - (ちくま学芸文庫 ; [マ-41-1])
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? / 八杉満利子, 林晋著
東京 : 講談社 , 2002.6. - (ブルーバックス ; B-1374)
逆説論理学 / 野崎昭弘著
東京 : 中央公論社 , 1980.11. - (中公新書 ; 593)
数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
東京 : 講談社 , 2019.8. - (ブルーバックス ; B-2107)
チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
東京 : 講談社 , 2014.2. - (ブルーバックス ; B-1851)
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
東京 : 紀伊国屋書店 , 1982.2
数学基礎論序説 / R.L.ワイルダー著 ; 吉田洋一訳
東京 : 培風館 , 1969.4
集合と論理 : 数学用語考現学 / 矢野健太郎著
東京 : 日本評論社 , 1966.9
集合と点集合 / 岸正倫著
東京 : 朝倉書店 , 1972.2. - (初等数学シリーズ / 野代清編 ; 2)
現代集合論入門 / 竹内外史著
東京 : 日本評論社 , 1971. - (日評数学選書)