Foundations of computing : system development with set theory and logic /
Scheurer, Thierry.
Wokingham : Addison-Wesley,
1994.
Includes bibliographical references and index
System design.
Set theory.
Logic, Symbolic and mathematical.