History

for article: Intensional logic