TY  - BOOK
AU  - Galton,Antony
TI  - Logic for information technology
SN  - 0471927775 :
AV  - QA9 .G13 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  -