東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: MA41)
該当件数:142件
Grundgesetze der Arithmetik / begriffsschriftlich abgeleitet von G. Frege
2. unveränderte Aufl. - Hildesheim : G. Olms , 1962
図書
だからファジィが面白い / 廣田薫著
東京 : 裳華房 , 1993.5. - (ポピュラーサイエンス)
情報理論のための数理論理学 / 板井昌典著
: electronic bk. - [東京] : Maruzen eBook Library , [2018]. - (数学のかんどころ ; 31)
電子ブック
コンピュータ基礎理論ハンドブック / Jan van Leeuwen [編] ; 廣瀬健, 野崎昭弘, 小林孝次郎監訳
東京 : 丸善 , 1994.2
論理の数学的分析 : 演繹的推論の計算に関する試論 / G.ブール [著] ; 西脇与作訳
東京 : 公論社 , 1977.8. - (論理学古典選集 ; 1)
集合論演習 / 黒崎達著
東京 : 槙書店 , 1975. - (数学選書)
論理数学 / 田村三郎著
京都 : 現代数学社 , 1982.9
現代数理論理学入門 / J.N.クロスリー [ほか] 著 ; 田中尚夫訳
東京 : 共立出版 , 1977.11. - (共立全書 ; 553)
数学基礎論の世界 : ロジックの雑記帳から / 竹内外史著
東京 : 日本評論社 , 1972.5
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
帰納的関数 / 廣瀬健著
東京 : 共立出版 , 1989.2. - (共立講座現代の数学 ; 3)
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
層・圏・トポス : 現代的集合像を求めて / 竹内外史著
東京 : 日本評論社 , 1979
超ビギナーにも理解できる集合・論理の基礎 / 和泉正明著
東京 : ムイスリ出版 , 2006.3
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
アルゴリズム / コーフェージ著 ; 西田英郎訳
東京 : 東京図書 , 1971
計算可能性入門 / 小林孝次郎著
東京 : 近代科学社 , 1980.2. - (コンピュータサイエンス大学講座)
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
東京 : 共立出版 , 1985.6
スイッチング理論演習 / 向殿政男, 笹尾勤著
東京 : 朝倉書店 , 1984.5. - (電気・電子・通信・情報工学演習シリーズ / 相磯秀夫 [ほか] 編)
集合論 / リプシュッツ著 ; 金井省二, 清沢毅光訳
東京 : マグロウヒル好学社 , 1982.7. - (マグロウヒル大学演習シリーズ)
ヒルベルト数学の問題 : ヒルベルトの問題 / D.Hilbert著 ; 一松信訳・解説
増補版. - 東京 : 共立出版 , 1972.2. - (現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 4)
計算の基礎理論 / 細井勉著
東京 : 教育出版 , 1975.1. - (シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9)
数学序論 : 集合と実数 / 柴田敏男著
東京 : 共立出版 , 1970.3
数学モデルの作り方と理論 : ソフト・ウェア工学入門 / 加藤ライジ著
東京 : 工学図書 , 1971
論理数学 / 細井勉著
東京 : 筑摩書房 , 1974.9. - (数理科学シリーズ ; 1)
Fuzzy theory systems : techniques and applications / edited by Cornelius T. Leondes
set - v. 4. - San Diego, Calif. ; Tokyo : Academic , c1999
オートマトン・言語理論 / 本多波雄著
東京 : コロナ社 , 1972.3. - (情報工学講座 ; 6)
爆速!アルゴリズム : 毎日の生活がみるみるうちに変わる / アリ・アルモッサウィ著 ; 吉田三知世訳
[東京] : Maruzen eBook Library , [2019]
Selected papers in logic and foundations, didactics, economics / Karl Menger
: pbk. - Dordrecht ; Boston : D. Reidel Pub. Co. , c1979. - (Vienna circle collection ; v. 10)
Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl / Gottlob Frege ; mit ergänzenden Texten kritisch herausgegeben von Christian Thiel
Centenarausg. - Hamburg : F. Meiner , c1986
集合論・入門 : 無限への誘い / 上江洲忠弘著
増訂版. - 東京 : 遊星社. - 東京 : 星雲社 (発売) , 2013.2
数学基礎論 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2)
記号論理学の基礎 / ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
改訂最新版. - 東京 : 大阪教育図書 , 1974.7
集合・位相 / 竹之内脩著
東京 : 筑摩書房 , 1970.2. - (数学講座 ; 11)
記号論理 / 梅沢敏郎著
東京 : 筑摩書房 , 1970.12. - (数学講座 ; 16)
集合と位相 / シェルピンスキー [著] ; [З. З. Рачинский訳] ; 熊谷孝康 [重] 訳
東京 : 東京図書 , 1968.11. - (数学新書 ; 75)
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
東京 : 培風館 , 1973.5. - (数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6)
複雑性と情報 : 金融工学との接点 / J.F. Traub, A.G. Werschulz著 ; 手塚集訳
東京 : 共立出版 , 2000.3
情報システムの基礎 / 翁長健治編
東京 : 朝倉書店 , 1983.3. - (電気・電子・情報基礎シリーズ / 市川忠男 [ほか] 編 ; 14)
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著
東京 : 共立出版 , 2022.6
数理論理学 / 福山克著
東京 : 培風館 , 1980.1. - (現代数学レクチャーズ / 赤攝也監修 ; B-6)
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
組合せ論の発見 : 古代から現代へ / Robin Wilson, John J. Watkins編 ; 平坂貢訳
東京 : 共立出版 , 2021.6
巨大基数の集合論 / A. カナモリ著 ; 渕野昌訳
東京 : シュプリンガー・フェアラーク東京 , 1998.10
集合と位相空間 / 柴田敏男著
東京 : 共立出版 , 1972.6. - (共立数学講座 ; 8)
アダマール行列とその応用 : 構成理論からウォルシュ関数まで / 喜安善市著
東京 : 電子通信学会 , 1980.3. - (情報とシステムシリーズ)
数理論理学序説 / 前原昭二著
東京 : 共立出版 , 1966.6. - (共立全書 ; 160)
超準解析 / M.デービス著 ; 難波完爾訳
東京 : 培風館 , 1982.11