検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ 論理の数学的分析 : 演繹的推論の計算に関する試論
書誌情報:論理の数学的分析 : 演繹的推論の計算に関する試論
ロンリ ノ スウガクテキ ブンセキ : エンエキテキ スイロン ノ ケイサン ニ カンスル シロン
G.ブール [著]
西脇与作訳
東京 : 公論社 , 1977.8
191p ; 20cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央３階
  • 116
  • R 66
  • 1
00340443 利用可
一般 

選択行を：  

書誌詳細
刊年1977
形態191p ; 20cm
別書名The mathematical analysis of logic
シリーズ名論理学古典選集 ; 1
注記監修: 末木剛博
文献: p190-191
出版国日本
標題言語日本語
本文言語日本語
原作言語英語
著者情報Boole, George, 1815-1864
西脇, 与作(1947-) (ニシワキ, ヨサク)
末木, 剛博(1921-2007) (スエキ, タケヒロ)
分類NDC6:410.1
NDLC:MA41
件名NDLSH:記号論理学
NCIDBN00689131
番号NBN : JP77018965

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ