[math-fun] Tarski and Multiplication

Hi all, In Tarski's "Introduction to Logic", he gave a nice little set of eight axioms that he says uniquely define the real numbers ( http://en.wikipedia.org/wiki/Tarski%27s_axiomatization_of_the_reals). He further said that, using less than, cuts, and addition, you could define multiplication in this system. Does anyone here know if he published anything else on this system? I can't seem to dig anything up, and I'd like to know how he defined things. Thanks, -Scott