A.Nerode. The last 70 years of logic and its applications: A personal diary