In this chapter, several aspects of induction and recursion will be discussed, and their application to programming will be described.
Last modified 22/May/97