ABSTRACT
The material in this chapter is closely related to the material in chapter 17, which shows how the basic number operations can be built up with the aid of the successor concept. Similarly, this chapter shows how, with the help of recursion, arithmetic operations may be built on top of each other.
