Introduction to Discrete Mathematics with ISETL (Springer Computer Science)