History

for article: Tarski's high school algebra problem