A Logical approach to discrete math - Gries, David ((Texts and Monographs in Computer Science))