同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: 410.96)
該当件数:104件
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 <BB13023614>
新・論理考究 : 論理がはじめてわかる / 本橋信義著
東京 : 幻冬舎メディアコンサルティング. - 東京 : 幻冬舎 (発売) , 2016.9
図書 <BB12976512>
フレーゲ・ルネサンス : 言語・論理・数学の哲学への招待 = Frege renaissance : an invitation to his philosophy of language, logic and mathematics / 野本和幸著
東京 : 東京大学出版会 , 2023.9
図書 <BB13222137>
世界を満たす論理 : フレーゲの形而上学と方法 / 荒畑靖宏著
東京 : 勁草書房 , 2019.8
図書 <BB13101840>
工学系の論理数学入門 / 田中和明著
東京 : カットシステム , 2005.11
図書 <BB10143866>
幾何的モデル理論入門 : モデル理論の代数, 数論幾何への応用 / 板井昌典著
東京 : 日本評論社 , 2002.9
図書 <BB10053735>
計算論理入門 : 情報の数理 / 田中尚夫著
東京 : 裳華房 , 1997.10
図書 <BB00361636>
スマリヤン数理論理学 : 述語論理と完全性定理 / Raymond Smullyan [著] ; 村上祐子訳
東京 : 丸善出版 , 2014.11
図書 <BB12880865>
万能コンピュータ : ライプニッツからチューリングへの道すじ / マーティン・デイヴィス原著 ; 沼田寛訳
チューリング生誕100周年記念版. - 東京 : 近代科学社 , 2016.11
図書 <BB12989800>
記号論理入門 / 前原昭二著
: 新装版. - 東京 : 日本評論社 , 2005.12. - (日評数学選書)
図書 <BB12276679>
初歩からの数理論理 / ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳
東京 : 大竹出版 , 1998.7
図書 <BB00392026>
論理数学 / 太原育夫著
東京 : 近代科学社 , 2015.4. - (大学数学スポットライト・シリーズ ; 2)
図書 <BB13068856>
証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで / 小島寛之著
東京 : 技術評論社 , 2017.2. - (知の扉シリーズ)
図書 <BB13001013>
学んでみよう!記号論理 / 高崎金久著
東京 : 日本評論社 , 2014.8
図書 <BB12864504>
現代数理論理学序説 / 古森雄一 , 小野寛晰著
東京 : 日本評論社 , 2010.6
図書 <BB10360316>
数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
復刻版. - 東京 : シュプリンガー・ジャパン , 2007.3. - (シュプリンガー数学クラシックス ; 第4巻)
図書 <BB10218984>
数理論理学 / 鹿島亮著
東京 : 朝倉書店 , 2009.10. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 15)
図書 <BB10332833>
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
図書 <BB00525381>
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
東京 : 共立出版 , 2002.2
図書 <BB10094523>
数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著
東京 : コロナ社 , 2014.10
図書 <BB12869028>
コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
東京 : 青土社 , 2015.3
図書 <BB13004570>
フレーゲの哲学 / アンソニー・ケニー[著] ; 野本和幸[ほか] 訳
東京 : 法政大学出版局 , 2001.3. - (叢書・ウニベルシタス ; 721)
図書 <BB00513185>
数理論理学 = Mathematical logic / 戸次大介著
東京 : 東京大学出版会 , 2012.3
図書 <BB12416884>
論理と代数の基礎 : 初めて学ぶ人のために / 硲文夫著
東京 : 培風館 , 2003.6
図書 <BB00575581>
ろんりと集合 / 中内伸光著
東京 : 日本評論社 , 2009.9
図書 <BB12913601>
フレーゲ哲学の最新像 / ダメット [ほか著] ; 岡本賢吾, 金子洋之編
東京 : 勁草書房 , 2007.2. - (双書現代哲学 ; 5)
図書 <BB10214900>
記号論理学講義 : 基礎理論・束論と圏論・知識論 / 清水義夫著
東京 : 東京大学出版会 , 2013.3
図書 <BB12591736>
述語論理・入門 : 基礎からプログラムの理論へ / 上江洲忠弘著
東京 : 遊星社. - 東京 : 星雲社 (発売) , 2007.4
図書 <BB10222810>
記号論理学 / 加藤浩, 土屋俊著
東京 : 放送大学教育振興会 , 2014.3. - (放送大学教材 ; 1570064-1-1411)
図書 <BB12675950>
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
図書 <BB10357809>
不完全性定理 / ゲーデル著 ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
図書 <BB10191721>
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
図書 <BB00581388>
数理論理学の基礎・基本 / 坪井明人著
東京 : 牧野書店. - 東京 : 星雲社 (発売) , 2012.3. - (理工系数学の基礎・基本 ; 13)
図書 <BB12399268>
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 <BB13097217>
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
図書 <BB13161612>
新しい論理序説 / 本橋信義著
東京 : 朝倉書店 , 1997.4. - (すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16)
図書 <BB00332768>
論理リテラシー / 鈴木登志雄著
東京 : 培風館 , 2009.2
図書 <BB12664718>
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 <BB12600544>
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
東京 : 内田老鶴圃 , 2010.5
図書 <BB12989747>
数理論理学序説 / 前原昭二著
復刊. - 東京 : 共立出版 , 2010.9
図書 <BB12170132>
記号論理学 / ゲオルク・クラウス著 ; 門上秀叡訳
上,下. - 東京 : 青木書店 , 1960-1962. - (唯物論叢書)
図書 <BB00720380>
東京 : 日本評論社 , 1967.10. - (日評数学選書)
図書 <BB00645693>
東京 : 共立出版 , 1970. - (共立講座現代の数学 ; 1)
図書 <BB00633062>
論理学への数学的手引き / Herbert B. Enderton [著] ; 嘉田勝訳
[出版地不明] : 1月と7月 , 2020.9
図書 <BB13137599>
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
図書 <BB00446211>
幾何的モデル理論入門 / 板井昌典著
改訂版. - 東京 : 日本評論社 , 2020.9
図書 <BB13133561>
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
図書 <BB00976501>
まるさんかく論理学 : 数学的センスをみがく / 野崎昭弘著
東京 : 中央公論新社 , 2021.6. - (中公文庫 ; [の-18-1])
図書 <BB13159094>
モデル理論 = Model theory / 板井昌典著
東京 : 森北出版 , 2023.2
図書 <BB13207963>
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
図書 <BB13182359>