本学の資料検索ができます。電子体にはリンクが付いています。
国内雑誌記事・学術論文を検索できます。
他大学蔵書を検索できます。
国立国会図書館の蔵書を検索できます。
国内の機関リポジトリを検索できます。※博士論文、大学紀要等、CiNii Articles で本文が引っかからない場合、こちらで検索してみてください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:11件
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
図書
記号論 : その論理と哲学 / 永井成男, 和田和行著
東京 : 北樹出版 , 1989.9
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
記号論理学 : その展望と限界をさぐる / R. ジェフリー著 ; 戸田山和久訳
東京 : マグロウヒル出版 , 1992.12
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
フレーゲ入門 : 生涯と哲学の形成 / 野本和幸著
東京 : 勁草書房 , 2003.9. - (双書エニグマ ; 2)
ルイス・キャロルの知的ゲーム / ルイス・キャロル[著] ; 鈴木瑠璃子, 長島富太郎編訳
東京 : 大修館書店 , 1987.2
反照論理学 : 社会科学基礎論 / 速川治郎著
東京 : 北樹出版 , 1994.4
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
心の影 : 意識をめぐる未知の科学を探る / ロジャー・ペンローズ [著] ; 林一訳
1,2. - 東京 : みすず書房 , 2001.12-2002.4