A Logical Approach to Discrete Math (1993)

by D Gries, F Schneider