教育図書館・文部科学省図書館の蔵書を検索します。
全国の大学図書館等が所蔵する本(図書・雑誌)の情報を検索できます。
学協会刊行物・大学研究紀要・国立国会図書館の雑誌記事索引データベースなどの学術論文情報を検索できます。
NDLサーチを検索します。
図書館の蔵書を検索した結果です。電子ジャーナル・電子ブックは詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: 記号論理学 歴史)
該当件数:2件
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
図書
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)