000
This introduction is intended for people who have had no previous experience with SETL or ISETL, but who are reasonably comfortable with learning a new programming language. Very few examples are given in the description, but a large number of examples is distributed with the software.
This documentation appears as an appendix in a discrete math text written by Nancy Baxter, Ed Dubinsky, and Gary Levin. That text uses ISETL as a tool for teaching discrete mathematics.