教育図書館・文部科学省図書館の蔵書を検索します。
全国の大学図書館等が所蔵する本(図書・雑誌)の情報を検索できます。
学協会刊行物・大学研究紀要・国立国会図書館の雑誌記事索引データベースなどの学術論文情報を検索できます。
NDLサーチを検索します。
図書館の蔵書を検索した結果です。電子ジャーナル・電子ブックは詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:9件
記号論理学 / 加藤浩, 辰己丈夫編著
新訂. - 東京 : 放送大学教育振興会 , 2024.3. - (放送大学教材 ; 1579428-1-2411)
図書
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
記号論理 / 横地清著
東京 : 岩崎書店 , 1967.4. - (図解初等数学選書 ; 16)
数理論理学 / 松本和夫著
復刊. - 東京 : 共立出版 , 2001.8
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
論理学 / 吉田夏彦著
東京 : 培風館 , 1958.4. - (新数学シリーズ / 吉田洋一監修 ; 10)
記号論理学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1)
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)