Logic for information technology /
Galton, Antony,1952-
Chichester : Wiley,
1990.
Logic, Symbolic and mathematical.