A Logical Approach to Discrete Math (1993)

by David Gries, Fred B Schneider