真理・証明・計算 : 論理と機械 - 九大コレクション | 九州大学附属図書館

＜図書＞
真理・証明・計算 : 論理と機械
シンリショウメイケイサン : ロンリトキカイ

責任表示	内井惣七著
データ種別	図書
出版情報	京都 : ミネルヴァ書房 , 1989.4
本文言語	日本語
大きさ	viii, 197p ; 21cm

所蔵情報

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 4A	116.3/U 16/1	1989		068031189026623		予約・取寄			予約・取寄
		中央図自動書庫	116/U 16	2000		058122003004634		予約・取寄		出庫可能	予約・取寄		出庫可能
		理系図1F 開架	116/U 16	1989		068251194007766		予約・取寄			予約・取寄
		芸工図 3F 書架	116.3/U16	1992		072031192009678		予約・取寄			予約・取寄

書誌詳細

著者標目	内井, 惣七(1943-) <ウチイ, ソウシチ>
件　名	BSH:論理学 NDLSH:記号論理学
分　類	NDC8:116 NDC8:410.96 NDLC:MA41
書誌ID	1000322248
ISBN	4623018849
NCID	BN03413567
巻冊次	ISBN:4623018849 ; PRICE:2300円
NBN	JP89040406
登録日	2009.09.11
更新日	2009.09.17