History

for article: Beth definability