History

for article: Higher-order logic