Autor: J.T. Schwartz

The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem- bers are LISP, APL, SNOBOL, and PROLOG. …

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today’s variety of systems with crisp, formal …