Foundations of computing system development with set theory and logic

Bibliographic Details
Main Author:	Scheurer, Thierry
Format:	Book
Language:	English
Published:	Wokingham, England Addison-Wesley c1994.
Subjects:	System design. Logic, Symbolic and mathematical. Set theory.