Logical approach to discrete math - Gries, David (Springer-Verlag New York, 1993)
Keywords: Mathematics