Inductive definitions, constructive ordinals, and normal derivations (0)

by Wilfried Sieg
Venue:In [9