Search alternatives:
"construction theory" » "constructive theory", "obstruction theory", "construction history"
Cover Image
Read Now

1
by Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations...”