History

for article: Tarski's exponential function problem