日本女子大学図書館システム JWULIS

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

by R.L. Goodstein. -- North-Holland Pub. Co., 1957. -- (Studies in logic and the foundations of mathematics). <BB00613913>

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 目白地区 数学 ||510.8S||G65 13794880 配架済 0件
No. 0001
巻号
所蔵館 目白地区
配置場所 数学
請求記号 ||510.8S||G65
資料ID 13794880
状態 配架済
返却予定日
予約 0件

書誌詳細

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