東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: 410.96)
該当件数:94件
世界を満たす論理 : フレーゲの形而上学と方法 / 荒畑靖宏著
東京 : 勁草書房 , 2019.8
図書
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
東京 : 技術評論社 , 2017.2. - (知の扉シリーズ)
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
計算論理入門 : 情報の数理 / 田中尚夫著
第4版. - 東京 : 裳華房 , 2004.3
記号論理入門 / 前原昭二著
新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
論理体系と代数モデル / 青山広, 愛知非古典論理研究会著
東京 : 八千代出版 , 2007.3
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11
論理学は数学の役に立つか : 新しい論理学の構築 / 本橋信義著
東京 : 遊星社 , 2006.10. - 東京 : 星雲社 (発売)
述語論理・入門 : 基礎からプログラムの理論へ / 上江洲忠弘著
東京 : 遊星社 , 2007.4. - 東京 : 星雲社 (発売)
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
フレーゲ哲学の最新像 / ダメット [ほか著] ; 岡本賢吾, 金子洋之編
東京 : 勁草書房 , 2007.2. - (双書現代哲学 ; 5)
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
情報理論のための数理論理学 / 板井昌典著
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
ろんりと集合 / 中内伸光著
東京 : 日本評論社 , 2009.9
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
わたしたちの数学の論理学 : すじ道だった数学の考えかた / 大出晁著
3版. - 東京 : 牧書店 , 1963.12
コンピュータサイエンスにおける様相論理 / 鹿島亮著
東京 : 森北出版 , 2022.1
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
東京 : 日本評論社 , 1967.10. - (日評数学選書)
真理・証明・計算 : 論理と機械 / 内井惣七著
京都 : ミネルヴァ書房 , 1989.4
論理と集合のはなし : 正しい思考の法則 / 大村平著
東京 : 日科技連出版社 , 1981.10
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
DNAコンピューティング : 新しい計算パラダイム / G. パウン, G. ローゼンバーグ, A. サローマ著 ; 横森貴, 榊原康文, 小林聡訳
東京 : シュプリンガー・フェアラーク東京 , 1999.12
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
東京 : 森北出版 , 2018.4
線型論理入門 / 竹内外史著
東京 : 日本評論社 , 1995.1
: electronic bk. - [東京] : Maruzen eBook Library , [2018]. - (数学のかんどころ ; 31)
電子ブック
Higher category theory : Workshop on Higher Category Theory and Physics, March 28-30, 1997, Northwestern University, Evanston, IL / Ezra Getzler, Mikhail Kapranov, editors
Providence, R.I. : American Mathematical Society , c1998. - (Contemporary mathematics ; 230)
Complexity, logic, and recursion theory / edited by Andrea Sorbi
New York : Marcel Dekker , c1997. - (Lecture notes in pure and applied mathematics ; v. 187)
Logic and computational complexity : International Workshop LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.)
Berlin : Springer-Verlag , c1995. - New York. - Tokyo. - (Lecture notes in computer science ; 960)
The Mathematical analysis of logic : being an essay towards a calculus of deductive reasoning / by George Boole
Oxford : Blackwell , 1948
ゲーデル・不完全性定理 : "理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
フレーゲの論理哲学 / 田畑博敏著
福岡 : 九州大学出版会 , 2002.2
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
書簡集 : 付「日記」 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2002.5. - (フレーゲ著作集 / G.フレーゲ著 ; 6)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)