Discrete mathematics for computing /
Vince, A.(Andrew)
Morris, Clare,1948-
Chichester : Ellis Horwood,
1990.
Logic, Symbolic and mathematical.