History

for article: Residuated Boolean algebra