資料詳細

  • 1 件中、 1 件目

真理・証明・計算 利用可

内井 惣七／著 -- ミネルヴァ書房 -- 1989.4 -- 116

所蔵

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

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫１上 Map B/116/ｳﾁ/521725 1105217258 閲可 貸可 協可 －

ページの先頭へ

資料詳細

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

ページの先頭へ