Title: Learning Discrete Mathematics with ISETL
Subjects: Computer science, mathematics, Isetl (computer program language), Combinatorial analysis, Mathematics