Logical approach to discrete math - Gries, David (Springer-Verlag, 1993)