History

for article: Trakhtenbrot's theorem