真理・証明・計算 論理と機械 貸出可
内井 惣七／著 -- ミネルヴァ書房 -- 1989.04
所蔵は 1 件です。現在の予約件数は 0 件です。
ページの先頭へ
※内容紹介、著者紹介は（株）日販図書館サービスおよび（株）トーハンのデータです。