Discrete mathematics : logic and structures - Billington, Elizabeth J. (Longman Cheshire, 1990)