CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: 記号論理学 歴史)
該当件数:3件
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
図書
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳
東京 : コンピュータ・エージ社 , 2003.7