Trees in Metamathematics. Theories of inductive definitions and subsystems of analysis (1977)

by W Sieg