Scheurer, thierry Foundations of computing : system development with set theory and logic Thierry Scheurer - - New York Addison-Wisley publishing Company c1994. - 668 p. : ISBN: 0201544296 Subjects--Topical Terms: System design--General Dewey Class. No.: 004.21 SCH