@article{DMTCS_2008_special_254_a29,
     author = {Kostrzycka, Zofia},
     title = {On density of truth of the intuitionistic logic in one variable},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science},
     year = {2008},
     doi = {10.46298/dmtcs.3583},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/}
}