History

for article: Indecomposability (intuitionistic logic)