| < Free Open Study > |
|
If the material summarized in this chapter is unfamiliar, you may want to start with some background reading. There are many sources for this, but Winskel's book (1993) is a particularly good choice for intuitions about induction. The beginning of Davey and Priestley (1990) has an excellent review of ordered sets. Halmos (1987) is a good introduction to basic set theory.
A proof is a repeatable experiment in persuasion. -Jim Horning
| < Free Open Study > |
|