Not about open and closed sets
This chapter is primarily included as an example of orderly and explicit proof development guided by the shape of the formulae rather than by their interpretation. In passing it illustrates the usefulness of the equivalence in massaging proof obligations. In revealing the structure of our argument clearly and in justifying in a concise way why each step is taken, the use of formalism is essential.
Unable to display preview. Download preview PDF.