Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Buchholz , S. Feferman , W. Pohlers

还没有评分

Dec 1, 1981 · 英语 · 平装书 (392 页数)

评价这本书

导出书籍日志

书籍详情

格式平装书

页数 392

语言英语

已发布 Dec 1, 1981

出版商 Springer

ISBN-10 3540111700

ISBN-13 9783540111702

描述

Used - Like New

评价这本书

导出书籍日志