History

for article: Tarski's undefinability theorem