同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社大学のリポジトリを検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子ブック/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #記号論理学)
該当件数:151件
数理論理学 / 古川康一, 向井国昭著
東京 : コロナ社 , 2008.6. - (コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18)
図書 <BB10276189>
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
図書 <BB00914993>
情報科学のための論理数学 / 細井勉著
東京 : 日本評論社 , 1992.4. - (日評数学選書)
図書 <BB00845498>
数理論理学原論 : 近代ポーランド論理学の原典 / ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
東京 : 文化書房博文社 , 1992.4
図書 <BB00850808>
数理論理学 / 林晋著
東京 : コロナ社 , 1989.12. - (コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3)
図書 <BB00751526>
応用論理 / 桔梗宏孝著
東京 : 共立出版 , 1996.3. - (情報数学講座 ; 1)
図書 <BB01006778>
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
図書 <BB10360316>
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 <BB10332833>
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
図書 <BB00332768>
初歩からの数理論理 / ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳
東京 : 大竹出版 , 1998.7
図書 <BB00392026>
新・論理考究 : 論理がはじめてわかる / 本橋信義著
東京 : 幻冬舎メディアコンサルティング. - 東京 : 幻冬舎 (発売) , 2016.9
図書 <BB12976512>
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
図書 <BB12864504>
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
図書 <BB12880865>
記号論理学 / 清水義夫著
東京 : 東京大学出版会 , 1984.11
図書 <BB00633355>
数学と論理と / J.R.ニューマン他編 ; 林雄一郎訳編
東京 : 東京図書 , 1970. - (科学技術選書)
図書 <BB00724012>
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 <BB12399268>
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
図書 <BB12416884>
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 <BB12600544>
記号論理学 / 加藤浩, 土屋俊著
東京 : 放送大学教育振興会 , 2014.3. - (放送大学教材 ; 1570064-1-1411)
図書 <BB12675950>
哲学論集 / G.フレーゲ著 ; 黒田亘, 野本和幸編
東京 : 勁草書房 , 1999.9. - (フレーゲ著作集 / G.フレーゲ著 ; 4)
図書 <BB00453564>
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
図書 <BB00361636>
数学論集 / G.フレーゲ著 ; 野本和幸, 飯田隆編
東京 : 勁草書房 , 2001.8. - (フレーゲ著作集 / G.フレーゲ著 ; 5)
図書 <BB00524119>
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
図書 <BB00525381>
算術の基礎 / G.フレーゲ著 ; 野本和幸, 土屋俊編
東京 : 勁草書房 , 2001.11. - (フレーゲ著作集 / G.フレーゲ著 ; 2)
図書 <BB00532860>
記号論理学入門 / L.A.カルジェニン著 ; 日野寛三訳
東京 : 東京図書 , 1966. - (数学新書 ; 51)
図書 <BB00720378>
様相の論理 / 内田種臣著
東京 : 早稲田大学出版部 , 1978.7. - (双書現代の論理)
図書 <BB00720813>
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
図書 <BB00669456>
概念記法 / G.フレーゲ著 ; 藤村龍雄編
東京 : 勁草書房 , 1999.12. - (フレーゲ著作集 / G.フレーゲ著 ; 1)
図書 <BB00461286>
算術の基本法則 / G.フレーゲ著 ; 野本和幸編
東京 : 勁草書房 , 2000.9. - (フレーゲ著作集 / G.フレーゲ著 ; 3)
図書 <BB00489894>
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
図書 <BB12989747>
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 <BB13097217>
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
図書 <BB13068856>
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
図書 <BB10218984>
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11
図書 <BB10143866>
数学における文法 / リンコルン・K.ダースト[著] ; 玉木和之訳
東京 : 明治図書出版 , 1975.3. - (海外名著選 ; 59)
図書 <BB00719985>
現代論理学の基礎 : 推理と分析の論理 / 永井成男著
東京 : 有信堂 , 1964.9
図書 <BB00720368>
記号論理学 / ゲオルク・クラウス著 ; 門上秀叡訳
上,下. - 東京 : 青木書店 , 1960-1962. - (唯物論叢書)
図書 <BB00720380>
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
図書 <BB00740831>
論理学 : モデル理論と歴史的背景 / 神野慧一郎, 内井惣七著
京都 : ミネルヴァ書房 , 1976.5
図書 <BB00705695>
論理と分析 : 文系のための記号論理入門 / 金子裕介著
京都 : 晃洋書房 , 2019.8
図書 <BB13098878>
記号論理学の基礎 / ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
改訂最新版. - 東京 : 大阪教育図書 , 1974.7
図書 <BB00697001>
記号論理学の綱要 / J.M.ボヘンスキー著 ; 國嶋一則, 奥雅博訳
東京 : 勁草書房 , 1970.4
図書 <BB00697719>
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 <BB13023614>
記号論 : その論理と哲学 / 永井成男, 和田和行著
東京 : 北樹出版 , 1989.9
図書 <BB00752647>
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
図書 <BB00737269>
記號論理學教本 / 大関将一, 中埜肇共著
東京 : 理想社 , 1954.11
図書 <BB00896575>
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
図書 <BB00976501>
東京 : シュプリンガー・フェアラーク東京 , 1993.10. - (シュプリンガー数学クラシックス)
図書 <BB00900792>
記号論理学 / 藤川吉美著
: 新装新版. - 東京 : 大竹出版 , 1995.4
図書 <BB00994813>
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
図書 <BB01012235>