Not about open and closed sets

Part 0 Summaries ofthe expositional essays
Part of the Lecture Notes in Computer Science book series (LNCS, volume 445)


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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Personalised recommendations