TY  - BOOK
AU  - Scheurer,Thierry
TI  - Foundations of computing: system development with set theory and logic 
SN  - 0201544296
AV  - QA76.9.S88 S29 1994
U1  - 004.2/1 20
PY  - 1994///
CY  - Wokingham, England, Reading, Mass.
PB  - Addison-Wesley
KW  - System design
KW  - Set theory
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 647-648) and index
ER  -