Discrete algorithmic mathematics - Maurer, Stephen B (Addison-Wesley, 1991)
Includes index.