History

for article: Deduction theorem