A Logical Approach to Discrete Math (texts and Monographs in Computer Science)Gries · Texts and Monographs in Computer Science1993DJVU5.4 MB