教育図書館・文部科学省図書館の蔵書を検索します。
全国の大学図書館等が所蔵する本(図書・雑誌)の情報を検索できます。
学協会刊行物・大学研究紀要・国立国会図書館の雑誌記事索引データベースなどの学術論文情報を検索できます。
NDLサーチを検索します。
図書館の蔵書を検索した結果です。電子ジャーナル・電子ブックは詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.12)
該当件数:4件
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
図書
ブール代数 / 安宅彦三郎著
東京 : 共立出版 , 1969.9
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
Forever undecided : a puzzle guide to Gödel / by Raymond Smullyan
Oxford [Oxfordshire] ; New York : Oxford University Press , 1988, c1987