History

for article: Tarski's axiomatization of the reals