History

for article: Lindenbaum–Tarski algebra