長岡工業高等専門学校

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

by R. L. Goodstein. -- North-Holland Pub. Co., 1964. -- (Studies in logic and the foundations of mathematics). <BB00150623>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日 予約
0001 長岡高専 開架図書 412||G65r 002015345 0件
No. 0001
巻号
所蔵館 長岡高専
配置場所 開架図書
請求記号 412||G65r
資料ID 002015345
状態
コメント
返却予定日
予約 0件

書誌詳細

標題および責任表示 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R. L. Goodstein
出版・頒布事項 Amsterdam : North-Holland Pub. Co. , 1964
形態事項 xii, 190 p. ; 22 cm
書誌構造リンク Studies in logic and the foundations of mathematics <BB00068620>//a
注記 Bibliography: p. 188
学情ID BA29862611
本文言語コード 英語
著者標目リンク *Goodstein, R. L. (Reuben Louis) <NC:DA01186902>
分類標目 LCC:QA248.5
件名標目等 Recursion theory
件名標目等 Arithmetic -- Foundations
件名標目等 Number theory