東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #記号論理学)
該当件数:128件
記号論理学 / 斎藤晢郎著
東京 : 理想社 , 1964.9
図書
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
記号論理入門 / 金子洋之著
東京 : 産業図書 , 1994.10. - (哲学教科書シリーズ)
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
情報理論のための数理論理学 / 板井昌典著
: electronic bk. - [東京] : Maruzen eBook Library , [2018]. - (数学のかんどころ ; 31)
電子ブック
記号論理学の基礎 / ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
改訂最新版. - 東京 : 大阪教育図書 , 1974.7
計算論理入門 : 情報の数理 / 田中尚夫著
第4版. - 東京 : 裳華房 , 2004.3
論理の数学的分析 : 演繹的推論の計算に関する試論 / G.ブール [著] ; 西脇与作訳
東京 : 公論社 , 1977.8. - (論理学古典選集 ; 1)
記号論理学 : その展望と限界をさぐる / ジェフリー,R.(Jeffrey,Richard) ; 戸田山 和久訳
東京 : マグロウヒル出版 , 1992
記号論序説 : その歴史と体系 / 瀬在良男著
3版. - 東京 : 駿河台出版社 , 1970.1
記号論理学 / 清水義夫著
東京 : 東京大学出版会 , 1984.11
記号論理学とその応用 / 石谷茂著
大阪 : 大阪教育図書 , 1977.1
非古典論理学 / 杉原丈夫著
東京 : 槙書店 , 1975. - (数学選書)
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
記号論理学入門 / 石谷茂著
東京 : 明治図書 , 1965.6
論理と情報の世界 / 中井浩, 高野守正著
東京 : ダイヤモンド社 , 1970.8
記号論理学の基礎 / ヒルベルト, アッケルマン共著 ; 伊藤誠訳
3版. - 東京 : 大阪教育図書社 , 1960.1
記号論理学の綱要 / J.M.ボヘンスキー著 ; 國嶋一則, 奥雅博訳
東京 : 勁草書房 , 1970.4
記号論理学 / 藤川吉美著
: 新装新版. - 東京 : 大竹出版 , 1995.4
ゲーデル・不完全性定理 : "理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
記号論理入門 / 前原昭二著
新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
情報科学のための論理分析テクニック / 戸田誠之助著
東京 : 培風館 , 2007.6
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
東京 : 共立出版 , 2017.8. - (数学のかんどころ ; 31)
記号論理 / 梅沢敏郎著
東京 : 筑摩書房 , 1970.12. - (数学講座 ; 16)
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
論理と分析 : 文系のための記号論理入門 / 金子裕介著
京都 : 晃洋書房 , 2019.8
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
東京 : 日本評論社 , 1967.10. - (日評数学選書)
数理論理学 / 福山克著
東京 : 培風館 , 1980.1. - (現代数学レクチャーズ / 赤攝也監修 ; B-6)
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
東京 : 共立出版 , 1985.6
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11