内井 惣七/著 -- ミネルヴァ書房 -- 1989.4 -- 116116 116 , 116

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 棚区分 請求記号 資料コード 資料区分 帯出区分 状態 WEB書棚
山形県立 地下書庫 /116/ウチ/ 102104115 一般和書 帯出可 在庫 iLisvirtual

資料詳細

タイトル 真理・証明・計算
副書名 論理と機械
著者 内井 惣七 /著  
出版者 ミネルヴァ書房
出版年 1989.4
ページ数 197p
大きさ 21cm
一般件名 論理学
NDC分類(9版) 116
NDC分類(10版) 116
ISBN 4-623-01884-9 国立国会図書館 カーリル