神戸女子大学・神戸女子短期大学図書館の所蔵を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立情報学研究所(NII)が提供する日本国内の論文の検索データベースです。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #記号論理学)
該当件数:11件
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
図書
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
数学における文法 / リンコルン・K.ダースト[著] ; 玉木和之訳
東京 : 明治図書出版 , 1975.3. - (海外名著選 ; 59)
スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
上巻. - 東京 : 日本評論社 , 2017.9-
記号論理学の基礎 / ヒルベルト, アッケルマン共著 ; 伊藤誠訳
東京 ; 大阪 : 大阪教育図書 , 1954.5
ルイス・キャロルの知的ゲーム / ルイス・キャロル [著] ; 鈴木瑠璃子, 長島富太郎編訳
東京 : 大修館書店 , 1987.2
帰納と類比 / G.ポリア著 ; 柴垣和三雄訳
東京 : 丸善 , 1959.1. - (数学における発見はいかになされるか / ポリア [著] ; 1)
意味論序説 / ルドルフ・カルナップ [著] ; 遠藤弘訳
東京 : 紀伊國屋書店 , 1975.8
形式の法則 / G.スペンサー=ブラウン著 ; 大澤真幸, 宮台真司訳
東京 : 朝日出版社 , 1987.4
うそつき : 真理と循環をめぐる論考 / ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳
東京 : 産業図書 , 1992.5