A logical approach to discrete math - Gries, David (Texts and monographs in computer science, 1993)