Recursions

The purpose of this chapter is to provide some fundamental results upon which the many applications of recursive definitions can be based. It is the simplicity of these foundations that distinguishes ITT from other higher order logics.