OPAC

ショウメイロンニュウモン
証明論入門 / 竹内外史, 八杉満利子共著

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	410.9:Ta673sh:2010		9784320019355	005689066				予約・取寄		仮想書架	予約・取寄		仮想書架

別書名	その他のタイトル:数学基礎論
一般注記	「数学基礎論」増補版(1974年刊)を改題改訂した「証明論入門」(1988年刊)の復刊文献: p[186]-187
著者標目	竹内, 外史(1926-) <タケウチ, ガイシ> 八杉, 満利子(1937-) <ヤスギ, マリコ>
件　名	BSH:数学基礎論 NDLSH:証明(数学)
分　類	NDC8:410.9 NDC7:410.1 NDLC:MA41
巻冊次	ISBN:9784320019355 ; PRICE:3500円+税
ISBN	9784320019355
NCID	BB02541217

目次／あらすじ