Foundations of computing system development with set theory and logic - Scheurer Thierry (Wokingham Addison-Wesley, 1994)
Keywords: Mathematical logic; Set theory; Symbolic logic; System design