~ tracking down this book ~
A Logical Approach to Discrete Math by Gries, David. — OmList