TY  - JOUR
AU  - Kostrzycka, Zofia
TI  - On density of truth of the intuitionistic logic in one variable
JO  - Discrete mathematics & theoretical computer science
PY  - 2008
VL  - DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/
DO  - 10.46298/dmtcs.3583
LA  - en
ID  - DMTCS_2008_special_254_a29
ER  -