Interactive SETL by Gary Levin <>.

Latest version: 3.0.

Binaries and source for MS-DOS, Macintosh, Unix, VAX/VMS.

[Clarkson U. "An Introduction to ISETL Version 1.9", G.M. Levin, Dept MCS, Clarkson U].

["Learning discrete mathematics with ISETL", Nancy Baxter. Ed. Gary Levin Dubinsky. Springer-Verlag, c.1989.]

(Apr 1994)

Try this search on Wikipedia, OneLook, Google

Nearby terms:

ISE « ISEE « I see no X here. « ISETL » ISF » ISINDEX » ISIS