00570nam a2200169 a 450000500170000000800410001710000220005824500970008026000410017730000240021844000430024250000340028565000180031965000370033765000150037485200110038920190520021232.0090327s19uu    xx            00    eng d10aScheurer, Thierry10aFoundtions of computing :bsystem development with set theory and logic /cThierry Scheurer.0 aWokingham :bAddison-Wesley,cc1994.  axxiv, 668 p. : ill. 0aInternational computing science series  aIncludes references and index  aSystem design  aLogic, Symbolic and mathematical 4aSet theory  7OLOPSC