A Logical Approach to Discrete Math, chapters 3–4 (1993)

by David Gries, Fred B Schneider
Venue:Texts and Monographs in Computer Science