同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #記号論理学)
該当件数:162件
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 <BB10276189>
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
図書 <BB01006778>
まるさんかく論理学 : 数学的センスをみがく / 野崎昭弘著
東京 : 中央公論新社 , 2021.6. - (中公文庫 ; [の-18-1])
図書 <BB13159094>
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 <BB00914993>
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
図書 <BB00845498>
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
図書 <BB13182359>
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
図書 <BB00751526>
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
東京 : 文化書房博文社 , 1992.4
図書 <BB00850808>
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
図書 <BB13161612>
記号論理学 / 山本新, 入江俊夫, 田村高幸著
東京 : 朝倉書店 , 2023.11
図書 <BB13224517>
文系のための記号論理入門 : 命題論理から不完全性定理まで / 金子裕介著
東京 : 朝倉書店 , 2021.5
図書 <BB13153719>
記号論理学 / 加藤浩, 辰己丈夫編著
新訂. - 東京 : 放送大学教育振興会 , 2024.3. - (放送大学教材 ; 1579428-1-2411)
図書 <BB13230101>
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11
図書 <BB10143866>
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
東京 : シュプリンガー・フェアラーク東京 , 1993.10. - (シュプリンガー数学クラシックス)
図書 <BB00900792>
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
図書 <BB00361636>
数理論理学 : 語の問題 / 竹内外史著
東京 : 培風館 , 1973.4. - (数理科学シリーズ ; 7)
図書 <BB00645703>
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
東京 : 白水社 , 1959. - (文庫クセジュ ; 257)
図書 <BB00676858>
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
図書 <BB00710406>
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
図書 <BB00737269>
記号論序説 : その歴史と体系 / 瀬在良男著
2版. - 東京 : 駿河台出版社 , 1968
図書 <BB00757938>
記号論理学入門 / L.A.カルジェニン著 ; 日野寛三訳
東京 : 東京図書 , 1966. - (数学新書 ; 51)
図書 <BB00720378>
記号論理学入門 / 小松寿著
東京 : 森北出版 , 1997.2
図書 <BB01023413>
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
図書 <BB00976501>
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
図書 <BB12880865>
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 <BB13097217>
記号論理入門 / 前原昭二著
: 新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
図書 <BB12276679>
初歩からの数理論理 / ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳
東京 : 大竹出版 , 1998.7
図書 <BB00392026>
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 <BB13023614>
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
図書 <BB13068856>
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
図書 <BB12864504>
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 <BB12600544>
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
図書 <BB10360316>
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
図書 <BB12989747>
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
図書 <BB10218984>
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 <BB10332833>
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
図書 <BB00525381>
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
図書 <BB12170132>
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
図書 <BB10094523>
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
図書 <BB12869028>
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
図書 <BB12584363>
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
図書 <BB00489894>
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
図書 <BB00524119>
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
図書 <BB00532860>
記号論理学の基礎 / ヒルベルト, アッケルマン共著 ; 伊藤誠訳
東京 : 大阪教育図書社 , 1954.5
図書 <BB00674494>
記号論理学 / ゲオルク・クラウス著 ; 門上秀叡訳
上,下. - 東京 : 青木書店 , 1960-1962. - (唯物論叢書)
図書 <BB00720380>
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
図書 <BB00740831>
記號論理學教本 / 大関将一, 中埜肇共著
東京 : 理想社 , 1954.11
図書 <BB00896575>
記号論理学の基礎 / ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
改訂最新版. - 東京 : 大阪教育図書 , 1974.7
図書 <BB00697001>
東京 : 日本評論社 , 1967.10. - (日評数学選書)
図書 <BB00645693>
記号論理学の綱要 / J.M.ボヘンスキー著 ; 國嶋一則, 奥雅博訳
東京 : 勁草書房 , 1970.4
図書 <BB00697719>