History

for article: Guedel's classification