Introduction to discrete mathematics for software engineering - Denvir, Tim (MacMillan, 1986)
Includes index.