Iterated Inductive Definitions and Subsystems of Analysis:...

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

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

Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

1981

出版:

出版社:

Springer-Verlag Berlin Heidelberg

语言:

english

页:

384

ISBN 10:

3540386491

ISBN 13:

9783540386490

系列:

Lecture Notes in Mathematics 897

文件:

PDF, 5.26 MB

IPFS:

english, 1981

因版权方投诉，本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal