資料詳細

  • 1 件中、 1 件目

証明論入門

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

所蔵

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

所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
書庫 4109/T1/3 1100114741 一般 貸出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

種別 図書
タイトルコード 1101216883
タイトル 証明論入門 
タイトルカナ ショウメイロン　ニュウモン
著者 竹内外史 ／共著, 八杉満利子 ／共著  
著者カナ タケウチ　ガイシ
出版地 東京
出版者 共立出版
出版年 １９８８．２
ページ数 １９１ｐ
大きさ ２２ｃｍ
一般注記 『数学基礎論』（１９７４年刊）の改題
一般件名 証明（数学）
NDC分類(8版) 410.9
ISBN 4-320-01406-5 国立国会図書館 KGWAP5502 GoogleBooks WebcatPlus
定価 ２８００円

ページの先頭へ