資料詳細

  • 1 件中、 1 件目

証明論入門

竹内 外史 -- 共立出版 -- １９８８．２ --

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫２(X9L) 主配架/410.1/ﾀｹｳﾁ*ｶﾞ/ 10200806439 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル 証明論入門
著者 竹内 外史 , 八杉 満利子 ／共著  
出版者 共立出版
出版年 １９８８．２
ページ数 １９１ｐ
大きさ ２２ｃｍ
一般件名 数学基礎論
ISBN 4-320-01406-5

ページの先頭へ