TY - BOOK AU - Galton,Antony TI - Logic for information technology SN - 0471927775 : AV - QA 9 .G185 1990 U1 - 511.3 20 PY - 1990/// CY - Chichester, New York PB - Wiley KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references (p. [286]) and index ER -