A Short Course in Discrete Mathematics (Dover Books on Computer Science)