ISETLInteractive SETL by Gary Levin <[email protected]>. 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)
ISDN ♦ ISE ♦ ISEE ♦ I see no X here. ♦ ISETL ♦ ISF ♦ ISINDEX ♦ ISIS ♦ IS-IS
Try this search on Wikipedia, Wiktionary, Google, OneLook.