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

Main Authors: Buchholz, Wilfried, Feferman, Solomon (Author), Pohlers, Wolfram (Author), Sieg, Wilfried (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1981, 1981
Series:Lecture Notes in Mathematics
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Physical Description:VIII, 384 p online resource
ISBN:9783540386490