Iterated Inductive Definitions and Subsystems of Analysis (Lecture Notes in Mathematics)

by Wilfried Buchholz Paperback details (USA). ISBN: 978-0-387-11170-4 ISBN-10: 0-387-11170-0 Springer Verlag · 1982