長岡技術科学大学

逆数学 : 定理から公理を「証明」する

ジョン・スティルウェル著 ; 川辺治之訳. -- 森北出版, 2019. <BB01251518>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 長岡技大 閲覧室(3階) 410.9||ST6 11312451 貸出中 2026/11/19 0件
No. 0001
巻号
所蔵館 長岡技大
配置場所 閲覧室(3階)
請求記号 410.9||ST6
資料ID 11312451
状態 貸出中
コメント
返却予定日 2026/11/19
予約 0件

書誌詳細

標題および責任表示 逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル
出版・頒布事項 東京 : 森北出版 , 2019.2
形態事項 viii, 217p : 挿図 ; 22cm
巻号情報
ISBN 9784627054516
その他の標題 原タイトル:Reverse mathematics : proofs from the inside out
その他の標題 異なりアクセスタイトル:逆数学 : 定理から公理を証明する
ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル
注記 監訳・解説: 田中一之
注記 参考文献: p189-195, p204-205
注記 索引: p207-217
学情ID BB27733604
本文言語コード 日本語
著者標目リンク Stillwell, John <AU00050141>
著者標目リンク 川辺, 治之||カワベ, ハルユキ <AU00006428>
著者標目リンク 田中, 一之||タナカ, カズユキ <AU00009628>
分類標目 数学 NDC8:410.9
分類標目 数学 NDC9:410.9
分類標目 数学 NDC10:410.9
件名標目等 数学基礎論||スウガクキソロン