@article{Skura:2009,
author
=
"T.Skura",
title
=
"A complete syntactical characterization of the intuitionistic logic",
journal
=
"Reports on Mathematical Logic",
volume
=
"No 23",
pages
=
"75--80",
year
=
"1989",
}