愛媛大学図書館

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). <BB00453098>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 中央館 研究室-理
412.9/4 0111951228957 通常 0件
No. 0001
巻号
所蔵館 中央館
配置場所 研究室-理
請求記号 412.9/4
資料ID 0111951228957
状態 通常
返却予定日
予約 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 <BB00000438>//a
注記 Bibliography: p. 188
学情ID BA19016655
本文言語コード 英語
著者標目リンク Goodstein, R. L. (Reuben Louis) <AU00072057>
分類標目 LCC:QA248.5
件名標目等 Recursion theory
件名標目等 Arithmetic -- Foundations
件名標目等 Numbers, Theory of