大阪大学の蔵書(電子ブック・電子ジャーナルを含む)を検索します。大阪大学個人IDがあれば、予約・取寄ができます。
全国の大学図書館の蔵書を検索します ※ 論文名で探すときは CiNii Articles からどうぞ
国立国会図書館や公共図書館等の蔵書(デジタルコンテンツを含む)を検索します
検索キーワード：(: 410.9)
該当件数:443件
現代集合論の探検 / 寺澤順著
東京 : 日本評論社 , 2013.5
書誌ID=2004292958 NCID=BB1246699X
カントールの連続体仮説 : ミーたんとコウちんは第2回国際数学者会議に出席していた = Cantor's continuum hypothesis / 市川秀志著
大阪 : パレード. - 東京 : 星雲社 (発売) , 2017.5 . - (Parade books)
書誌ID=2004434728 NCID=BB23773254
組合せ数学 / ロビン・ウィルソン [著] ; 川辺治之訳
東京 : 岩波書店 , 2018.12 . - (岩波科学ライブラリー ; 280)
書誌ID=2004465759 NCID=BB27323125
キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2016.7
書誌ID=2004438797 NCID=BB21718288
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
書誌ID=2004211981 NCID=BB0525845X
今度こそわかるP≠NP予想 / 渡辺治著
東京 : 講談社 , 2014.3 . - (今度こそわかるシリーズ)
書誌ID=2004344321 NCID=BB1528198X
離散数学入門 / 五十嵐善英著 , 舩田眞里子著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2017.1 . - (数理情報科学シリーズ ; 30)
書誌ID=2004431071 NCID=BB22876502
集合論 : 独立性証明への案内 / ケネス・キューネン著 ; 藤田博司訳
東京 : 日本評論社 , 2008.1
書誌ID=2004086790 NCID=BA84526262
暗号理論のための格子の数学 / D.ミッチアンチオ, S.ゴールドヴァッサー著 ; 林彬訳
東京 : シュプリンガー・ジャパン , 2006.11
書誌ID=2003719321 NCID=BA79493594
離散数学入門 / 豊泉正男, 丸山文綱, 藤田響著
第2版. - 東京 : 学術図書出版社 , 2017.9
書誌ID=2004487968 NCID=BB25215868
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
書誌ID=2004476984 NCID=BB28388818
個数を数える / 大島利雄著 ; 桂利行 [ほか] 編
東京 : 数学書房 , 2019.3 . - (数学書房選書 / 桂利行 [ほか] 編 ; 7)
書誌ID=2004473977 NCID=BB27992624
離散数学「ものを分ける理論」 : 問題解決のアルゴリズムをつくる / 徳田雄洋著
東京 : 講談社 , 2018.5 . - (ブルーバックス ; B-2059)
書誌ID=2004447420 NCID=BB26080673
数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる / 野本和幸著
東京 : 東京大学出版会 , 2019.8
書誌ID=2004479709 NCID=BB28763225
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
書誌ID=2004487194 NCID=BB27733604
離散数学「数え上げ理論」 : 「おみやげの配り方」から「Nクイーン問題」まで / 野崎昭弘著
東京 : 講談社 , 2008.11 . - (ブルーバックス ; B-1619)
書誌ID=2004088199 NCID=BA87926165
スマリヤンの無限の論理パズル : ゲーデルとカントールをめぐる難問奇問 / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 2007.12
書誌ID=2004181081 NCID=BA84102721
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論 / レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳
東京 : 白揚社 , 2008.5
書誌ID=2004181082 NCID=BA86149963
組合せ論プロムナード = Combinatorics promenade / 山田裕史著
東京 : 日本評論社 , 2009.12
書誌ID=2004184015 NCID=BB00540370
ファジィ理論 : 基礎と応用 / 瀧澤武信編著 ; 稲井田次郎 [ほか] 執筆
東京 : 共立出版 , 2010.8
書誌ID=2004184067 NCID=BB03191879
