神戸女子大学・神戸女子短期大学図書館の所蔵を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立情報学研究所(NII)が提供する日本国内の論文の検索データベースです。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:6件
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
上巻. - 東京 : 日本評論社 , 2017.9-
総合的研究論理学で学ぶ数学 : 思考ツールとしてのロジック / 長岡亮介著
[東京] : 旺文社 , [2017.5]
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
形式の法則 / G.スペンサー=ブラウン著 ; 大澤真幸, 宮台真司訳
東京 : 朝日出版社 , 1987.4