ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:17件
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
図書 [BB24269023]
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
図書 [GP73687835]
「無限」の考察 : ∞ - ∞ = ? / 足立恒雄著 ; 上村奈央絵
東京 : 講談社 , 2009.6
図書 [BA90658224]
複素数への招待 / 宮西正宜, 増田佳代著
東京 : 日本評論社 , 1998.10
図書 [BA38358259]
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
2 vols. set - v. 2. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 [BA29765998]
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
: pbk. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 [BA2976701X]
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
: [pbk]. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 [BA29767144]
距離空間と位相空間 / 高橋渉著
横浜 : 横浜図書 , 2001.10. - (数理解析入門シリーズ ; 1)
図書 [GP36465288]
なっとくする集合・位相 / 瀬山士郎著
東京 : 講談社 , 2001.9
図書 [BA53507150]
ε‐δ・∀と∃に泣く / 石谷茂著
京都 : 現代数学社 , 1990.6. - (数学の盲点とその解明)
図書 [BN05051649]
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 [BN10526687]
集合と位相 / 彌永昌吉, 彌永健一著
東京 : 岩波書店 , 1990.12. - (岩波基礎数学選書 / 小平邦彦監修 ; 岩堀長慶[ほか]編集)
図書 [BN05588710]
ヤング・タブロー : 表現論と幾何への応用 / W.フルトン著 ; 池田岳, 井上玲, 岩尾慎介訳
東京 : 丸善出版 , 2019.6
図書 [BB28365084]
数学の基礎 / L. ウィトゲンシュタイン著 ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
図書 [BN00413243]
ヴァン・リント&ウィルソン組合せ論 / J. H. ヴァン・リント, R. M. ウィルソン著 ; 澤正憲, 萩田真理子訳
上,下. - 東京 : 丸善出版 , 2018.3-2019.10
図書 [BB25801033]
集合と位相 / 内田伏一著
東京 : 裳華房 , 1986.11. - (数学シリーズ / 佐武一郎, 村上信吾, 高橋礼司編)
図書 [BN00582149]
集合・位相入門 / 松坂和夫著
東京 : 岩波書店 , 1968.6
図書 [BN01303397]