Ordinal algebras : with appendices - Tarski, Alfred (North Holland, 1970)