@article{BSL19_4_Lukowski,
author = {Piotr {\L}UKOWSKI},
title = {Intuitionistic Sentential Calculus with Classical Identity},
journal = {Bulletin of the Section of Logic},
volume = {19},
number = {4},
year = {1990},
pages = {147--151}
}