History

for article: Rice–Shapiro theorem