@article{BSL19_3_Lukowski,
author = {Piotr {\L}UKOWSKI},
title = {Intuitionistic Sentential Calculus with Identity},
journal = {Bulletin of the Section of Logic},
volume = {19},
number = {3},
year = {1990},
pages = {92--99}
}