このページのリンク

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
(Studies in logic and the foundations of mathematics.)

データ種別 図書
出版者 Amsterdam : North-Holland Publishing Co.
出版年 1964 c.1957.
本文言語 英語
大きさ 190 p.

所蔵情報を非表示


ASRS (自動化書庫) 412/G65r 00376550



書誌詳細を非表示

著者標目 Goodstein, R. L.
件 名 Number theory
分 類 NDC:412
書誌ID 1000095906

 類似資料