Mathematical logic for computer science - Ben - Ari, M (Prentice Hall, 1993)
Includes index.