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

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

Author
W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Publisher
Springer
Language
English
Edition
1
Year
1981
Page
383
ISBN
3540111700,9783540111702
File Type
pdf
File Size
11.9 MiB

Used - Like New

show more...

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book