Proceedings of the American Mathematical Society, Vol. 34, No. 1 (Jul., 1972), pp. 71-72 (2 pages) Let $S, A_1, A_2, \cdots, A_p$ be finite nonempty sets of $n ...
Being a mathematician, I've always dreamt of a programming language that would make use of the powerful formalism of Set Theory. Two years ago, I started looking for an open-source software tool to ...