...languages.
Mal'cev is credited for extending first-order languages to arbitrary cardinalities.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Stan Burris
Fri Jan 31 11:57:38 EST 1997