中部大学附属三浦記念図書館

On constructive interpretation of predicative mathematics

Charles Parsons. -- Garland Pub., 1990. -- (Harvard dissertations in philosophy). <TY00060396>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 図書館 B1F/洋図書4 412.1/P 25 03202739     0件
No. 0001
巻号
所蔵館 図書館
配置場所 B1F/洋図書4
請求記号 412.1/P 25
資料ID 03202739
禁帯出区分  
状態  
返却予定日
予約 0件

書誌詳細

標題および責任表示 On constructive interpretation of predicative mathematics / Charles Parsons
出版・頒布事項 New York : Garland Pub. , 1990
形態事項 viii, 342 p. ; 24 cm
巻号情報
ISBN 0824050916
書誌構造リンク Harvard dissertations in philosophy <>//a
注記 Thesis (Ph. D.)--Harvard University, 1961
注記 Bibliography: p. 334-339
注記 Includes index
学情ID BA10538582
本文言語コード 英語
著者標目リンク *Parsons, Charles, 1933- <>
分類標目 LCC:QA9.54
分類標目 DC:512/.72/01
分類標目 NDC:412.1
件名標目等 Proof theory
件名標目等 Number theory
件名標目等 Mathematics -- Philosophy