Foundations of computing system development with set theory and logic

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